Package: sponsorship-requests Severity: wishlist Dear mentors,
I am looking for a sponsor for my package "coq-highschoolgeometry" * Package name : coq-highschoolgeometry Version : 8.4+20150620 Upstream Author : Frédérique Guilhot <frederique.guil...@sophia.inria.fr> * URL : http://www.lix.polytechnique.fr/coq/pylons/coq/pylons/contribs/view/HighSchoolGeometry/trunk * License : LGPL-2.1+ Section : math It builds those binary packages: coq-highschoolgeometry - coq library for high school geometry proofs/formalisation To access further information about this package, please visit the following URL: http://mentors.debian.net/package/coq-highschoolgeometry Alternatively, one can download the package with dget using this command: dget -x http://mentors.debian.net/debian/pool/main/c/coq-highschoolgeometry/coq- highschoolgeometry_8.4+20150620-1.dsc This package is a dependency of geoproof. Regards, Riley Baird -- System Information: Debian Release: stretch/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 4.0.0-2-amd64 (SMP w/4 CPU cores) Locale: LANG=en_AU.UTF-8, LC_CTYPE=en_AU.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
