Versions in landing: 1.8.0-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders: 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