coq-unicoq - 1.6-8.16-2 main

Versions in crimson: 1.6-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-unicoq_1.6-8.16-2.dsc 2.1 kB 0690f31b8b1adcea06d2a9db4fd88fdc63e733d911d3a32802ea22bd8bdfb5b5
coq-unicoq_1.6-8.16.orig.tar.gz 593.5 kB e704c5e15355e5050fb708b2252e53e30371d6e9d9b34f4bf0ef948efed9ecf5
coq-unicoq_1.6-8.16-2.debian.tar.xz 2.4 kB 0e818f2759e63899adc561361e83289c974b478b5372f99e1926df830b9c8dda