why3 - 1.7.2-2 main

Versions in landing: 1.7.2-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.7.2-2.dsc 2.5 kB ac89a686db541d1b675170049a3fe3fc586a9dd189e0947b862552de98fcfb32
why3_1.7.2.orig.tar.bz2 6.3 MB 7598d0f8e740ce76a359fc0e6db21f3cf873aebe4fc80ce349d75aa21dd72305
why3_1.7.2-2.debian.tar.xz 18.6 kB de0b8ac19b206fb73fb302d78924d70dedc2248a42f3ca19c8dab15a99b9760b