| Age | Commit message (Expand) | Author |
|---|
| 2022-09-07 | Remove WWW entries moved into port Makefiles | Stefan Eßer |
| 2022-09-07 | Add WWW entries to port Makefiles | Stefan Eßer |
| 2022-07-20 | misc: remove 'Created by' lines | Tobias C. Berner |
| 2021-04-06 | Remove # $FreeBSD$ from Makefiles. | Mathieu Arnold |
| 2020-09-03 | Add license | Stefan Eßer |
| 2020-09-03 | Fix build with -fno-common | Stefan Eßer |
| 2015-09-09 | - Switch to options helpers | Dmitry Marakasov |
| 2015-09-09 | - Fix shebangs | Dmitry Marakasov |
| 2015-01-21 | misc/otter & biology/ariadne: Not jobs safe | John Marino |
| 2014-12-09 | Cleanup plist | Baptiste Daroussin |
| 2014-06-19 | Stagify. | Vanilla I. Shu |
| 2013-09-20 | Add NO_STAGE all over the place in preparation for the staging support (cat: ... | Baptiste Daroussin |
| 2013-07-19 | - Attempt to fix parallel builds (-jX) | Alexey Dokuchaev |
| 2011-03-19 | - Get Rid MD5 support | Martin Wilke |
| 2008-11-18 | - fix typo, hence plist for -DNOPORTDOCS | Ion-Mihai Tetcu |
| 2006-02-06 | Otter is an automated deduction system (theorem prover) for | Renato Botelho |
