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

Пакет-източник: coq-gappa (1.5.2-4)

Връзки за coq-gappa

Ресурси за Debian:

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

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

Следните двоични пакети са компилирани от този пакет-източник:
libcoq-gappa
Coq tactic to use Gappa for floating-point goals

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

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

Download coq-gappa

ФайлГолемина (в кБ)контролна сума MD5
coq-gappa_1.5.2-4.dsc 2,0 кБ 9f9f65307599af98875236e27aa96cf1
coq-gappa_1.5.2.orig.tar.bz2 71,8 кБ 826d7d56a103fc2c822f26e4db87e493
coq-gappa_1.5.2-4.debian.tar.xz 1,9 кБ 22d8be9df660c8d92ea2683d828e8b88
Хранилище на изходния код на пакета (СКП: Git)
https://salsa.debian.org/ocaml-team/coq-gappa.git
Хранилище на изходния код на пакета (за разглеждане през браузър)
https://salsa.debian.org/ocaml-team/coq-gappa