coq-relation-algebra - 1.7.11-1 main

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

  • libcoq-relation-algebra  amd64  amd64  amd64  amd64  amd64  amd64  arm64  arm64  arm64  arm64  arm64  arm64 

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq-relation-algebra_1.7.11-1.dsc 2.3 kB 712f4effc05398c2571337ee2c09f7942b3046d1d19a98429ff839054f1b431a
coq-relation-algebra_1.7.11.orig.tar.gz 196.7 kB 6cb55e82941033a378f67fcec8bf16865463a3fde92b2b7c8871f23b0b4723d1
coq-relation-algebra_1.7.11-1.debian.tar.xz 2.2 kB c6aec2faf18ef624df3c3c0069800a8c7759b274a212128bf36231de124f531e