Versions in crimson: 1.7.8-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-relation-algebra_1.7.8-2.dsc	2.2 kB	cf2ba87187b27ce639cd7f158f6373d8968bcadcd623e16c420cf4ec589b8dc7
coq-relation-algebra_1.7.8.orig.tar.gz	196.6 kB	4125b11912f5d9cabc98b87487ae632f150682021108ecf7ee0b5e343387025b
coq-relation-algebra_1.7.8-2.debian.tar.xz	1.7 kB	87c4bfcaca752097fb5c181d0ad5530855ba45d83b28f016723e4da48f559df9