Source package coq-quickchick/2.1.0-1 in dawn @ pureos - PureOS Software

coq-quickchick - 2.1.0-1 main

Versions in dawn: 2.1.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

This package may currently be unbuildable on the following architectures:

arm64
amd64

Homepage Build Jobs VCS Browser

Owned Binaries

libcoq-quickchick amd64 arm64
quickchick amd64 arm64

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
coq-quickchick_2.1.0-1.dsc	2.3 kB	`4a6fd285c9fcbcb98d115b4b631df67768339b8f37b32590622380671126ba5e`
coq-quickchick_2.1.0.orig.tar.gz	414.5 kB	`d05d629599c9d9e34619e31133df791d119ec117ea038cc13a4ac1422de0e60e`
coq-quickchick_2.1.0-1.debian.tar.xz	2.9 kB	`0d6587bc594a18657c9d86b1a1123ca3242f02426a1e6c89fe121bb0999bcbc3`