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

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
coq-libhyps_2.0.6-2.dsc	2.1 kB	4a2508dd9e09161e4751e9ab0f080922e502e57a4bfa577461dd1ff4a20b317b
coq-libhyps_2.0.6.orig.tar.gz	36.2 kB	ca0cb2fca2f839007e9b7b47d635ac19ae55f08af6883cecf9f1ffcca2896d4e
coq-libhyps_2.0.6-2.debian.tar.xz	1.9 kB	a64794b940c5d2887231f8bc4c140564c0403c0392465fb78e4a0f691cf92d45