coq-reduction-effects 0.1.4-3 source package in Ubuntu
Changelog
coq-reduction-effects (0.1.4-3) unstable; urgency=medium * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. -- Julien Puydt <email address hidden> Wed, 25 Jan 2023 08:36:56 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| coq-reduction-effects_0.1.4-3.dsc | 2.2 KiB | a6838080b2cc2094b6b7d98a113403e3c8eb7a703159038a68c34579bfc8acfa |
| coq-reduction-effects_0.1.4.orig.tar.gz | 10.1 KiB | dc4ddc90bb63f3bcfeaee5d1da3ee921c097114993430abe50f4bb3004305a47 |
| coq-reduction-effects_0.1.4-3.debian.tar.xz | 1.5 KiB | 69fe763c131defe4a6574b5799a02a4ecbaabbae60193d8ce7a6d6b389f2c404 |
Available diffs
- diff from 0.1.4-2build3 (in Ubuntu) to 0.1.4-3 (594 bytes)
No changes file available.
