OCaml Team Request for Sponsorship

2015-08-03 Thread Riley Baird
pool/main/c/coq-highschoolgeometry/coq- highschoolgeometry_8.4+20150620-1.dsc Thank you for your consideration, Riley Baird pgpAFW1cUEdHN.pgp Description: PGP signature

coq-highschoolgeometry

2015-07-07 Thread Riley Baird
net/package/coq-highschoolgeometry Yours thankfully, Riley Baird pgphGEKLw62Je.pgp Description: PGP signature

Re: User-contributed coq libraries

2015-06-23 Thread Riley Baird
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. > >

User-contributed coq libraries

2015-06-22 Thread Riley Baird
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