coq-elpi - 2.3.0-1 main

Versions in landing: 2.3.0-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.3.0-1.dsc 2.1 kB 2dbceca37734616349643e585f708e44ff269c26b341edb97a99b04fad157602
coq-elpi_2.3.0.orig.tar.gz 734.6 kB ce8f1d1bd95744328040013ee5843960604acc4961fb59f1fcf5f6b9dd03b5a2
coq-elpi_2.3.0-1.debian.tar.xz 3.8 kB 0fd86e8c277b25d3c887877bb11f5f6d8c7bfddd2503ddfbd3384f8bc6aa503a