all options
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]

Source Package: alt-ergo (2.0.0-3)

Links for alt-ergo

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
alt-ergo
Automatic theorem prover dedicated to program verification

Other Packages Related to alt-ergo

  • build-depends
  • build-depends-indep

Download alt-ergo

FileSize (in kB)MD5 checksum
alt-ergo_2.0.0-3.dsc 2.2 kB a81b55dbdfff85b1750ce38f98f8a757
alt-ergo_2.0.0.orig.tar.gz 345.2 kB e390c96bcac7c54a5949ad36611412ef
alt-ergo_2.0.0-3.debian.tar.xz 6.2 kB 827b3fc42cae2600d21cc3b666146e41
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/alt-ergo.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/alt-ergo