всички настройки
bookworm  ] [  trixie  ] [  sid  ]

Пакет-източник: coq-mtac2 (1.4+8.18-1)

Връзки за coq-mtac2

Ресурси за Debian:

Отговорници:

Външни препратки:

Следните двоични пакети са компилирани от този пакет-източник:
libcoq-mtac2
Mtac2 tactic language for Coq

Други пакети, свързани с coq-mtac2

  • зависимости при компилиране
  • зависимости при компилиране (архитектурно-независими)

Download coq-mtac2

ФайлГолемина (в кБ)контролна сума MD5
coq-mtac2_1.4+8.18-1.dsc 2,1 кБ 6eff01a9da3bad0ba03351a38fa28a94
coq-mtac2_1.4+8.18.orig.tar.gz 246,2 кБ 51b768f6f78c09d069eafd1378c7391b
coq-mtac2_1.4+8.18-1.debian.tar.xz 2,7 кБ 62f890fe559061db39ee7a8347231c08
Хранилище на изходния код на пакета (СКП: Git)
https://salsa.debian.org/ocaml-team/coq-mtac2.git
Хранилище на изходния код на пакета (за разглеждане през браузър)
https://salsa.debian.org/ocaml-team/coq-mtac2