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

Källkodspaket: hol-light (20190729-2)

Länkar för hol-light

Debianresurser:

Ansvariga:

Externa resurser:

Följande binärpaket byggs från detta källkodspaket:
hol-light
HOL Light theorem prover

Andra paket besläktade med hol-light

  • bygg-beroende
  • arkitekturoberoende bygg-beroende

Download hol-light

FilStorlek (i kbyte)MD5-kontrollsumma
hol-light_20190729-2.dsc 2,0 kbyte 4769446bb7c42cb4f2080e36b7b049a5
hol-light_20190729.orig.tar.gz 6.796,4 kbyte 9a8813a63d883e10c5b52c36b93ee9b0
hol-light_20190729-2.debian.tar.xz 9,9 kbyte 2a7e04bd2a37dce9ee6da042f7dcf625
Debians paketkällkodsarkiv- (VCS: Git)
https://salsa.debian.org/ocaml-team/hol-light.git
Debians paketkällkodsarkiv (blädderbart)
https://salsa.debian.org/ocaml-team/hol-light