coq-deriving - 0.2.0-3 main

Versions in landing: 0.2.0-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Julien Puydt <jpuydt [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 4.6.2
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

  • libcoq-deriving  amd64  amd64  amd64  amd64  arm64  arm64  arm64  arm64 

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq-deriving_0.2.0.orig.tar.gz 31.4 kB b7ee16330cd7bebff2c49e2333d21ef4c7efeb2aca7891a083896d23150e30b8
coq-deriving_0.2.0-3.dsc 1.9 kB a30be386ac114a44feb29fab1c2c7d75000cd1a35a2ef3bc7692770fc7c4ecc0
coq-deriving_0.2.0-3.debian.tar.xz 2.2 kB 7fdad83e6ea9e50dab902da8977cde35231b0c89ecd447af075b833f4ba86709