alla flaggor
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]

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

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-5.dsc 2,0 kbyte b3826ccb82e839ae6cd6ff70fe106651
alt-ergo_2.0.0.orig.tar.gz 345,2 kbyte e390c96bcac7c54a5949ad36611412ef
alt-ergo_2.0.0-5.debian.tar.xz 6,8 kbyte 24f31744aa0140b97f3b02c7b3d660d9
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