Versions in amber: 8.9.0-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
- Benjamin Barenblat <bbaren [꩜] debian.org>
- Ralf Treinen <treinen [꩜] debian.org>
- Samuel Mimram <smimram [꩜] debian.org>
- Stéphane Glondu <glondu [꩜] debian.org>
- Enrico Tassi <gareuselesinge [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 4.3.0
Architectures:
any
Homepage
Build Jobs
VCS Browser
Owned Binaries
Build Dependencies
Files
| Filename |
Size |
Checksum (SHA256) |
| coq_8.9.0-1.dsc |
2.4 kB |
a58269491c02821e38e3bcdf27a706679313b566443118320e3e352019f35a0e |
| coq_8.9.0.orig.tar.gz |
5.4 MB |
6468ba1b0e5f0168dcd03b29de573be2198e1a2e0311a99f8d418f4d08458908 |
| coq_8.9.0-1.debian.tar.xz |
27.8 kB |
a8f122b61740f994bcdb3cc5e96cd82e31ec9e8f3d163b7afe546a590230acbd |