coq-gappa 1.5.2-4 source package in Ubuntu
Changelog
coq-gappa (1.5.2-4) unstable; urgency=medium * Fix the Vcs-* fields. * Update for Coq 8.16. -- Julien Puydt <email address hidden> Mon, 05 Sep 2022 22:29:45 +0200
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-gappa_1.5.2-4.dsc | 2.0 KiB | b3ac931c87f95d5fd838c6c30075315f7a438acd4ceebd77c8c5726f1e4fb830 |
| coq-gappa_1.5.2.orig.tar.bz2 | 71.8 KiB | a8e43645ebb796851ddd5f6fc9abb4745401af265286ad57b4ebc425631f3da0 |
| coq-gappa_1.5.2-4.debian.tar.xz | 1.9 KiB | c4387183aaad79da90a6a32804a7d790a0e79c65f4ff3d97c02396fdbb4c5403 |
No changes file available.
