coq-elpi - 2.5.0-1.1 main

Versions in landing: 2.5.0-1.1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Julien Puydt <jpuydt [꩜] debian.org>
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.orig.tar.gz 746.0 kB ab536326caef5b9e1c2a9ec6c8b413caa04e8ab428c8351801d2134117019fce
coq-elpi_2.5.0-1.1.dsc 2.0 kB d106a8f41c8cbd0c0b2466d9b7bb5feb7255d1f1fba76bf24c264354d462e8d0
coq-elpi_2.5.0-1.1.debian.tar.xz 3.9 kB 2ff9c8ec8dde19fdc52078ec342231128bf8f0d53f42a7f6e963279bc583849e