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

Пакет-източник: gappa (1.4.1-1)

Връзки за gappa

Ресурси за Debian:

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

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

Следните двоични пакети са компилирани от този пакет-източник:
gappa
Automatic generation of proofs of arithmetic properties

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

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

Download gappa

ФайлГолемина (в кБ)контролна сума MD5
gappa_1.4.1-1.dsc 2,0 кБ 18f456e8599c4c24a956e33decd08986
gappa_1.4.1.orig.tar.bz2 290,8 кБ 245f538e5028cea1c3ef3ceaefa29e5e
gappa_1.4.1-1.debian.tar.xz 8,8 кБ 07e20d475f6c8c5fd2457634610fede4
Хранилище на изходния код на пакета (СКП: Git)
https://salsa.debian.org/math-team/gappa.git
Хранилище на изходния код на пакета (за разглеждане през браузър)
https://salsa.debian.org/math-team/gappa