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

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
why3_1.3.3-1.dsc	2.8 kB	e13ae5969036d7cbee86f89fe2134fa3454f68d28fbec02eaa9dae16fdcc0c7a
why3_1.3.3.orig.tar.gz	5.8 MB	9cc64ae6c64d95e6e2f622fa1d2aaa675e4e1e4a06d234c6fb60da17ac150ad8
why3_1.3.3-1.debian.tar.xz	18.4 kB	320f469cec1fa54dce78d7d7726eda9dc823d1a3ccbe880b149c29b815992892