Bug#792757: RFS: coq-highschoolgeometry/8.4+20150620-1 [ITP]

[Riley Baird <BM-2cVqnDuYbAU5do2DfJTrN7ZbAJ246S4XiX@bitmessage.ch>]

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.Guilhot@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)