** Slackware UK **

Patronage & donations
If you use this service on a regular basis, and would like to make a continuing patronage towards the ongoing running costs and in support of the Slackware UK service, please use the Patreon page to sign up - Patreons receive special benefits for their support! For one-off donations or if you do not wish to use Patreon, please Paypal an amount you feel is appropriate using this link or to: donate (at) slackware.uk. If you do not wish your name to be included in the Paypal supporters list (which can be found here), please add a note to your Paypal transaction to let me know.
All donations will be gratefully received - thank you!

Index » slackbuilds.org » 14.0 » academic » coq
Icon  Name                            Last modified      Size  Description
[<--] Parent Directory - [!!!] README 2012-09-29 05:34 696 [SPT] coq.SlackBuild 2012-10-02 18:59 2.7K [   ] coq.info 2012-09-29 05:34 286 [CMP] gpl.txt.gz 2011-08-12 02:58 12K [TXT] slack-desc 2011-08-12 02:58 833
Mirror server bandwidth utilisation
 20.90 Mbit/s