hol-light - 20230128-1 main

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

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
hol-light_20230128-1.dsc 1.8 kB 0cb9358d0d06fcf76811fb72b193f450c77f49bbb889c734b435492c1c01998a
hol-light_20230128.orig.tar.gz 7.5 MB fd392c124679f45560837a7dbbc7d75e691a550bbca7bc90478c0d9876e01d7c
hol-light_20230128-1.debian.tar.xz 10.8 kB 7d2afacb18ef182c97957ce5a8d5c6d4c502c6f88505d130904c60083e44409c