wszystkie opcje
bookworm  ] [  trixie  ] [  sid  ]

Pakiet źródłowy: coq-reglang (1.2.1-3)

Odnośniki dla coq-reglang

Zasoby systemu Debian:

Opiekunowie:

Zasoby zewnętrzne:

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
libcoq-reglang
representation of regular languages in Coq

Inne pakiety związane z coq-reglang

  • build-depends
  • build-depends-indep

Download coq-reglang

PlikRozmiar (w KiB)Suma kontrolna MD5
coq-reglang_1.2.1-3.dsc 2,1 KiB 8f74db16106d4f4290086e43444325e8
coq-reglang_1.2.1.orig.tar.gz 67,8 KiB 39b6d7cfd0237d44e4580bf13afaf6af
coq-reglang_1.2.1-3.debian.tar.xz 8,4 KiB 6dd3da0db15426d6214dde648c6e3317
Repozytorium kodu źródłowego Debiana (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-reglang.git
Repozytorium kodu źródłowego Debiana (do przeglądania)
https://salsa.debian.org/ocaml-team/coq-reglang