Versions in crimson: 8.15.0-4
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-math-classes_8.15.0-4.dsc	2.2 kB	2dd7693fb7ac6cbd54ca9e1eb9d4ebd866dab295b23c210faef199390a6e01e5
coq-math-classes_8.15.0.orig.tar.gz	168.0 kB	3da179923d4d40d531edad391ef2661e456234a36c2140ba77134bb24113983d
coq-math-classes_8.15.0-4.debian.tar.xz	2.6 kB	a864822ae1fb02b3f1f70054e942a3ea3085fddaf76f5762cc1ad14f066e24c8