wszystkie opcje
bookworm  ] [  trixie  ] [  sid  ]

Pakiet źródłowy: coq-mtac2 (1.4+8.18-1)

Odnośniki dla coq-mtac2

Zasoby systemu Debian:

Opiekunowie:

Zasoby zewnętrzne:

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
libcoq-mtac2
Mtac2 tactic language for Coq

Inne pakiety związane z coq-mtac2

  • build-depends
  • build-depends-indep

Download coq-mtac2

PlikRozmiar (w KiB)Suma kontrolna MD5
coq-mtac2_1.4+8.18-1.dsc 2,1 KiB 6eff01a9da3bad0ba03351a38fa28a94
coq-mtac2_1.4+8.18.orig.tar.gz 246,2 KiB 51b768f6f78c09d069eafd1378c7391b
coq-mtac2_1.4+8.18-1.debian.tar.xz 2,7 KiB 62f890fe559061db39ee7a8347231c08
Repozytorium kodu źródłowego Debiana (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-mtac2.git
Repozytorium kodu źródłowego Debiana (do przeglądania)
https://salsa.debian.org/ocaml-team/coq-mtac2