Versions in dawn: 2.0.8-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders: Format: 3.0 (quilt)
Standards Version: 4.6.2
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
coq-libhyps_2.0.8.orig.tar.gz	37.2 kB	e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2
coq-libhyps_2.0.8-3.dsc	2.1 kB	056f88662e5c61e55bd06c9bb5be88d94f37c19aa946fcaecb72760ed6a33dd5
coq-libhyps_2.0.8-3.debian.tar.xz	2.1 kB	3a1183746213c4d2c84abed076b8df8843cdad011f98a30c821cf656f85a8ff1