Versions in crimson: 1.16.0-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-elpi_1.16.0-2.dsc	2.0 kB	57e49b0b9bf7a032475994ab8cbbf914b7653042f6c908772989ca1a4621f93e
coq-elpi_1.16.0.orig.tar.gz	426.2 kB	db21d73dd749290fa6ab858dc40e75ce7bde7b80724338580b20902bf05feaa7
coq-elpi_1.16.0-2.debian.tar.xz	3.4 kB	6f7d9746c758a91ca8d5a04571e0a77e919db8468f7c632f481379c4af09d0d1