Versions in dawn: 20240331-1
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-unimath_20240331-1.dsc	2.1 kB	f00fccee8d7dbfcccb295337b7b1a87f6890dae69dea42e03401c207147cb9a1
coq-unimath_20240331.orig.tar.gz	3.3 MB	613e5a9e1fc502269b4744209827b853505999ab28e59e60ba55e6fb6daa0c0d
coq-unimath_20240331-1.debian.tar.xz	2.1 kB	ba4c34e19475eea7a62ea76ff776e5b1b0bbfa5a242160f53441d5109aed9fa0