all options
bookworm  ] [  trixie  ] [  sid  ]

Source Package: coq-relation-algebra (1.7.8-2)

Links for coq-relation-algebra

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
libcoq-relation-algebra
relation algebra for Coq

Other Packages Related to coq-relation-algebra

  • build-depends
  • build-depends-indep

Download coq-relation-algebra

FileSize (in kB)MD5 checksum
coq-relation-algebra_1.7.8-2.dsc 2.2 kB 1bdae6c8c5d0e72700a082babd2e26d2
coq-relation-algebra_1.7.8.orig.tar.gz 192.0 kB 5978961b75a58dc5dcd2458c69f3b57c
coq-relation-algebra_1.7.8-2.debian.tar.xz 1.6 kB a14abcfb672517455aa53b236d979166
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-relation-algebra.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/coq-relation-algebra