Joachim Fasting bf7ad2d84f meta.description fixups ...

Mostly scripted substitutions with a couple of subjective enhancements.

2015-04-30 18:17:42 +02:00

..

default.nix

meta.description fixups

2015-04-30 18:17:42 +02:00

gcc-4.3.dpatch

Matita and its dependencies.

2010-12-31 17:48:55 +00:00