Package: coq-highschoolgeometry
Priority: optional
Section: universe/math
Installed-Size: 4296
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Riley Baird <BM-2cVqnDuYbAU5do2DfJTrN7ZbAJ246S4XiX@bitmessage.ch>
Architecture: all
Version: 8.4+20150620-1
Depends: coq
Filename: pool/universe/c/coq-highschoolgeometry/coq-highschoolgeometry_8.4+20150620-1_all.deb
Size: 1473866
MD5sum: 3e23577ddaf5b6611b8727597ddf34cf
SHA1: b6962bfecd3eba6b43f2f205894cd16f5cc5a8d2
SHA256: 0d2a5252b46533daf3b74fe1acbdd77fa444d0e3edce9a47395aa587066b30b9
Description: coq library for high school geometry proofs/formalisation
Homepage: http://www-sop.inria.fr/lemme/Frederique.Guilhot/geometrie.html
Description-md5: 4df50d9e6a0033853f51ad710483a098
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu