alla flaggor
bookworm  ] [  trixie  ] [  sid  ]

Källkodspaket: coq-reglang (1.1.3-2)

Länkar för coq-reglang

Debianresurser:

Ansvariga:

Externa resurser:

Följande binärpaket byggs från detta källkodspaket:
libcoq-reglang
representation of regular languages in Coq

Andra paket besläktade med coq-reglang

  • bygg-beroende
  • arkitekturoberoende bygg-beroende

Download coq-reglang

FilStorlek (i kbyte)MD5-kontrollsumma
coq-reglang_1.1.3-2.dsc 2,1 kbyte c1792e258599e46d62a96905ae5d1d48
coq-reglang_1.1.3.orig.tar.gz 65,5 kbyte 36011415d0f49a7dddcb02b89dffd288
coq-reglang_1.1.3-2.debian.tar.xz 8,2 kbyte f114c053e00795b791619d7a19a62bde
Debians paketkällkodsarkiv- (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-reglang.git
Debians paketkällkodsarkiv (blädderbart)
https://salsa.debian.org/ocaml-team/coq-reglang