coq-hott - 8.16-2 main

Versions in crimson: 8.16-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Julien Puydt <jpuydt [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 4.6.1
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq-hott_8.16-2.dsc 2.0 kB de6b2215b593361cfe675df880b424506808a5541e731265a163cbede11ecc9a
coq-hott_8.16.orig.tar.gz 868.1 kB 4463d39334e9726e7d8d86a8264edcaf7781fae5773254720293ba0d515a1aea
coq-hott_8.16-2.debian.tar.xz 2.6 kB 8f9598ca8c9eade7768472185220daeee59eb1e47536bc32507f4af549ff5d30