Versions in landing: 2.5.0-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders: Format: 3.0 (quilt)
Standards Version: 4.7.0
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
coq-elpi_2.5.0-1.dsc	2.1 kB	0515cdf0f8ba20d24d987ce6bdbc562c53130a8c7824311121ba041f783034a4
coq-elpi_2.5.0.orig.tar.gz	746.0 kB	ab536326caef5b9e1c2a9ec6c8b413caa04e8ab428c8351801d2134117019fce
coq-elpi_2.5.0-1.debian.tar.xz	3.3 kB	3607cdf9f8a26ea92038b0909e5f27bdf67eedd39ce07181833770124d95303e