pool/main/c/coq-highschoolgeometry/coq-
highschoolgeometry_8.4+20150620-1.dsc
Thank you for your consideration,
Riley Baird
pgpAFW1cUEdHN.pgp
Description: PGP signature
net/package/coq-highschoolgeometry
Yours thankfully,
Riley Baird
pgphGEKLw62Je.pgp
Description: PGP signature
On Tue, 23 Jun 2015 09:45:53 +0200
Stéphane Glondu wrote:
> Le 23/06/2015 01:18, Riley Baird a écrit :
> > Seeing as the OCaml team already maintains coq, I thought that I'd ask
> > whether the team would also be willing to maintain coq libraries as
> > well.
>
>
m, then I'm
ready to join!
You can get a copy of the coq-highschoolgeometry package here:
http://mentors.debian.net/package/coq-highschoolgeometry
Yours thankfully,
Riley Baird
pgph3AKNoQE9h.pgp
Description: PGP signature
4 matches
Mail list logo