| Age | Commit message | Author |
|---|---|---|
| 2019-06-16 | Add ocaml-mysql dependency | Andrea Berlingieri |
| 2019-06-16 | Add gmetadom dependency | Andrea Berlingieri |
| 2019-06-16 | Fix lablgtk2 dep | Andrea Berlingieri |
| 2019-06-16 | Add help2man dependency | Andrea Berlingieri |
| 2019-06-16 | Update .SRCINFO | Andrea Berlingieri |
| 2019-06-16 | Fix makedepends; add man pages | Andrea Berlingieri |
| 2019-06-16 | First commit | Andrea Berlingieri |
| Clone | ||
| https://aur.archlinux.org/matita.git/ | ||