Ubuntu
gap-grape package

gap-grape source package in Bionic

gap-grape: No summary available for gap-grape in ubuntu cosmic.

Versions published

Release

The package versions that were published when the distribution release was made.

gap-grape information

Current version:
4r7+ds-3
Uploaded:
Urgency:
Medium Urgency

Upstream connections

gap ⇒ trunk

This project, programmed in Scala, should give a general architecture to deal with logical objects such as proofs.

Bug supervisor: no
Bug tracker: no
Branch: no

There are no registered releases for the gap ⇒ trunk.

Releases in Ubuntu

Binary packages

Download files from current release (4r7+ds-3)

File Size SHA-256 Checksum
gap-grape_4r7+ds-3.dsc 2.1 KiB b1f26a02c3bac7cea965d3d3894abba8163fd4840630d4a1f0cf8b640d20d7c3
gap-grape_4r7+ds.orig.tar.xz 73.5 KiB a3c8beea6f06f52815fb586080cd60e3f88a2d25d4f1758d132cadb698859e14
gap-grape_4r7+ds-3.debian.tar.xz 5.4 KiB 38425712d3dedb0beb5f8d40958f33bb2321201044870cfd4a170495d7d66620

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies