all options
bookworm  ] [  trixie  ] [  sid  ]

Source Package: coq-extructures (0.4.0-1)

Links for coq-extructures

Debian Resources:


External Resources:

The following binary packages are built from this source package:
data structures with extensional reasoning for Coq

Other Packages Related to coq-extructures

  • build-depends
  • build-depends-indep

Download coq-extructures

FileSize (in kB)MD5 checksum
coq-extructures_0.4.0-1.dsc 2.1 kB 427b2fb0f6f926cd75df354c95d083dc
coq-extructures_0.4.0.orig.tar.gz 41.2 kB d31c4523f3bf48ec76e65212f0888b70
coq-extructures_0.4.0-1.debian.tar.xz 2.2 kB 801e8a45eb1a1cc561e461133c567475
Debian Package Source Repository (VCS: Git)
Debian Package Source Repository (Browsable)