hol-light - 20190729-4 main

Versions in byzantium: 20190729-4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Hendrik Tews <hendrik [꩜] askra.de>
Format: 3.0 (quilt)
Standards Version: 4.4.1
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
hol-light_20190729-4.dsc 1.8 kB 0f97db3ea84d1ee0b97318380e944682692d1717c203162dbd31770eed0a84ea
hol-light_20190729.orig.tar.gz 7.0 MB 88cfcdd1430d963b9fc63960829e1a5f7c08df98ed92b3765cff51691dbfe75a
hol-light_20190729-4.debian.tar.xz 11.1 kB 53d607dc442fecb99d93726a8eb55320b4664642c97250782442718511da87e6