all options
buster  ] [  bullseye  ]

Source Package: alt-ergo (2.0.0-3)

Links for alt-ergo

Debian Resources:

Maintainers:

External Resources:

Наступні двійкові пакунки побудовано з цього джерельного пакунка:
alt-ergo
Automatic theorem prover dedicated to program verification

Інші пакунки пов'язані з alt-ergo

  • build-depends
  • build-depends-indep

Download alt-ergo

ФайлРозмір (в кБ)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