all options
bookworm  ] [  trixie  ] [  sid  ]

Source Package: gappa (1.4.1-1)

Links for gappa

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
gappa
Automatic generation of proofs of arithmetic properties

Other Packages Related to gappa

  • build-depends
  • build-depends-indep

Download gappa

FileSize (in kB)MD5 checksum
gappa_1.4.1-1.dsc 2.0 kB 18f456e8599c4c24a956e33decd08986
gappa_1.4.1.orig.tar.bz2 290.8 kB 245f538e5028cea1c3ef3ceaefa29e5e
gappa_1.4.1-1.debian.tar.xz 8.8 kB 07e20d475f6c8c5fd2457634610fede4
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/math-team/gappa.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/math-team/gappa