Versions in crimson: 0.1.0-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders: Format: 3.0 (quilt)
Standards Version: 4.6.1
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
coq-deriving_0.1.0-2.dsc	2.1 kB	86c6111978275bad4caef68592744ae5aa88f4c04c20b05aa87f5fcca51d5e55
coq-deriving_0.1.0.orig.tar.gz	29.3 kB	ec65d664f4e558189389fe7fb6991fd77f713f3b97a9da8d9dd7559cc444ee43
coq-deriving_0.1.0-2.debian.tar.xz	2.0 kB	cb1f8d605fd1cdfc79e7737c7c8c96d66d516019ab5daf109edab61af1b3b0cd