coq 8.9.1-4 source package in Ubuntu
Changelog
coq (8.9.1-4) unstable; urgency=medium
* Patch install-coqide-bytecode: fix instalaltion of ide on bytecode-only
architectures.
* Fix coqide.install for bytecode-only architectures
* Remove coqide and coqidetop stuff from debian/not-installed
-- Ralf Treinen <email address hidden> Mon, 27 Jan 2020 03:29:33 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| coq_8.9.1-4.dsc | 2.4 KiB | a5b36aae0479d49da8d161197a284df134e5ad4b8cd61f8a6bede7b2abeae137 |
| coq_8.9.1.orig.tar.gz | 5.1 MiB | ea2af8f6445d8ee4cdca130ed4532383ac42b9da1a8d2e422265a142486420f7 |
| coq_8.9.1-4.debian.tar.xz | 30.7 KiB | 5813b993db3503405b1b3273c55f5c26040fad9dc1382e38b99852cd55565e28 |
Available diffs
- diff from 8.9.1-3 to 8.9.1-4 (978 bytes)
No changes file available.
