This is a mirror service in Toronto, Canada for some software I either use or think would prove useful to other people.
| Name | Size | Updated (UTC) |
|---|---|---|
| coq-sample.mp | 2.5k | 2011-02-22 17:55:03 |
| coq-sample.tex | 5.0k | 2011-02-22 17:55:03 |
| drv.mp | 80.2k | 2011-02-22 17:55:03 |
| makefile | 1.1k | 2011-02-22 17:55:03 |
| readme.sh | 318 | 2011-02-22 17:55:03 |
Unfortunately, hosting this service isn't free. If you would like to help me offset the costs, feel free to send some money my way on:
If you are experiencing any issues with this service, you can contact me at: