coq - 8.12.0-3 main

Versions in byzantium: 8.12.0-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Benjamin Barenblat <bbaren [꩜] debian.org>
  • Ralf Treinen <treinen [꩜] debian.org>
  • Stéphane Glondu <glondu [꩜] debian.org>
  • Enrico Tassi <gareuselesinge [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 4.5.0
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq_8.12.0-3.dsc 2.5 kB a51b2cc10e8b2e8199e0788bc5c5016f7bc097cc276105e8f1e137f96be1838b
coq_8.12.0.orig.tar.gz 6.0 MB e2c784fb8545718819f44b85518b5572226faa1e34aa8dc4d5d9e64edfbc0a39
coq_8.12.0-3.debian.tar.xz 37.8 kB d0b2ecfbcb6ef5a116dc791cf4e68086314352c42d5250407e563d117f63234a