alla flaggor
buster  ] [  bullseye  ]

Källkodspaket: alt-ergo (2.0.0-7)

Länkar för alt-ergo

Debianresurser:

Ansvariga:

Externa resurser:

Följande binärpaket byggs från detta källkodspaket:
alt-ergo
Automatic theorem prover dedicated to program verification

Andra paket besläktade med alt-ergo

  • bygg-beroende
  • arkitekturoberoende bygg-beroende

Download alt-ergo

FilStorlek (i kbyte)MD5-kontrollsumma
alt-ergo_2.0.0-7.dsc 1,9 kbyte 31cc585f4234cf907d212e7be4b54b32
alt-ergo_2.0.0.orig.tar.gz 345,2 kbyte e390c96bcac7c54a5949ad36611412ef
alt-ergo_2.0.0-7.debian.tar.xz 6,9 kbyte 7384d2ba9f57e275f14ced90f086ac65
Debians paketkällkodsarkiv- (VCS: Git)
https://salsa.debian.org/ocaml-team/alt-ergo.git
Debians paketkällkodsarkiv (blädderbart)
https://salsa.debian.org/ocaml-team/alt-ergo