diff options
| author | Andre Barboza <bmg.andre@gmail.com> | 2012-07-30 20:34:53 -0300 |
|---|---|---|
| committer | Erik Hanson <erik@slackbuilds.org> | 2012-07-31 19:34:11 -0500 |
| commit | c7abf9052816c2faca706d7d3796dd725ec6a7fc (patch) | |
| tree | 5eaafe9bb18068dfaedea94b0c67ceea2f1f449c /academic/coq | |
| parent | f7105b06862d001142bcf86d294373f222d9f34c (diff) | |
development/monodevelop: Updated for version 3.0.3.4.
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
Diffstat (limited to 'academic/coq')
0 files changed, 0 insertions, 0 deletions