coq-hott - 8.19-1 main

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

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq-hott_8.19-1.dsc 2.0 kB 97124ea36026305f05899f47c464149a9ec37623dac21d2e6e80a7812d2ca581
coq-hott_8.19.orig.tar.gz 984.0 kB b11a1898e751d76d3ff5fe1bc9c8ab55ebe48762835ad6a472db28cb958111b6
coq-hott_8.19-1.debian.tar.xz 2.9 kB b6b063748f632e66d0464868831d5f9bea80ff6bbb640c8b6da8ef7f9925eeb6