coq-elpi 2.1.0-1 source package in Ubuntu
Changelog
coq-elpi (2.1.0-1) unstable; urgency=medium * New upstream release. -- Julien Puydt <email address hidden> Sat, 30 Mar 2024 09:35:03 +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-elpi_2.1.0-1.dsc | 2.0 KiB | 345cb1c0b20c695bb2fe73ea13e6deeb2e26239226dc6e6725679b7f6640b4ec |
coq-elpi_2.1.0.orig.tar.gz | 699.0 KiB | 2f891e9edb7ae798688ad7b739fe14d6906ff0619bded26dd94b8abbf1cc6da8 |
coq-elpi_2.1.0-1.debian.tar.xz | 3.6 KiB | cc67841986c57a0ac05d57808f9ef37529a900b73d120b35e5b4c3688bb9849f |
No changes file available.