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

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
why3_1.5.1-1.dsc	2.7 kB	13bb1472b31f8429850624af63ceb772c0161449b889dfb9c7cea62df666da97
why3_1.5.1.orig.tar.gz	6.7 MB	bcd47b59e892be0fbbeb719ca2fa190450df9dc7a424c7aa35e80fe1f570d3a2
why3_1.5.1-1.debian.tar.xz	18.5 kB	e38b7845935b9a1076cbf39ce969f8aa9e04773b066f1683af884ac4616807f6