why3 - 1.8.0-2 main

Versions in dawn: 1.8.0-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Ralf Treinen <treinen [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 4.7.0
Architectures: any  all 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
why3_1.8.0-2.dsc 2.1 kB 2a93e87d375c27c523af58c62d916fc90701b011967a162965f5b850120f88c0
why3_1.8.0.orig.tar.bz2 6.6 MB 5e0cad35f0e6f5adfb827f82365aafdb1f272708b43555b01d1bb234734d7188
why3_1.8.0-2.debian.tar.xz 18.9 kB 6ef015e06626ed4c6e7b91708e7cf6d4c7b0d834363c7e6c20f61d7cc6bda7c6