Versions in crimson: 1.5.2-5
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-gappa_1.5.2-5.dsc	2.1 kB	c9c0a05168b874779a06e8807eeba35df96be2c007cb0ac2651ce7cb6dee4deb
coq-gappa_1.5.2.orig.tar.bz2	73.5 kB	a8e43645ebb796851ddd5f6fc9abb4745401af265286ad57b4ebc425631f3da0
coq-gappa_1.5.2-5.debian.tar.xz	2.0 kB	6f74d633e84e9e4efd1b814b74cc06951dd825bdb14fc31a7987372ce4d98305