coq-serapi - 8.19.0+0.19.3-3 main

Versions in dawn: 8.19.0+0.19.3-3
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-serapi_8.19.0+0.19.3-3.dsc 2.5 kB 1154c4b73f08d5ac08e3ebadab5c02b65cfdad46aff50cd4d6e4379a7b36f543
coq-serapi_8.19.0+0.19.3.orig.tar.gz 179.7 kB 48108b534c7859918643f4aaccd5816f425a8445a8a79a662fc41fa465a19201
coq-serapi_8.19.0+0.19.3-3.debian.tar.xz 10.2 kB e6b849f64aa421209a17d1855fd062d7dcec43c198082061ddc1f4c057d4e59f