Versions in amber: 1.2.0-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders: Format: 3.0 (quilt)
Standards Version: 4.3.0
Architectures: any  all 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
why3_1.2.0-1.dsc	2.6 kB	479653bf5ead837ef05c3da47bb8a0f09fef19a655da72c59fdbaf2969d4d21c
why3_1.2.0.orig.tar.gz	6.0 MB	888c09fbad8d5c83b3c23ebc8d89fcb9c535cc3ee2cb8c3752329c086500e077
why3_1.2.0-1.debian.tar.xz	16.3 kB	c30d82a0d0bab23869fad16cb1b6e788ba525de3c3aa1c36ef8fd4a88880ea9d