| Age | Commit message | Author |
|---|---|---|
| 2021-02-07 | hol kananaskis.14-1 | Mort Yao |
| 2020-02-10 | hol kananaskis.13-3 | Mort Yao |
| 2020-02-06 | hol kananaskis.13-2 | Mort Yao |
| 2019-08-24 | hol kananaskis.13-1 | Mort Yao |
| 2019-03-18 | hol kananaskis.12-4 | Mort Yao |
| 2019-03-18 | hol kananaskis.12-3 | Mort Yao |
| 2019-03-01 | hol kananaskis.12-2 | Mort Yao |
| 2019-02-26 | hol kananaskis.12-1 | Mort Yao |
| 2015-10-07 | Reverted to mosml | Nikolaos Bezirgiannis |
| 2015-07-06 | Fixed emitML for hol version 10 | Nikolaos Bezirgiannis |
| [...] | ||
| Clone | ||
| https://aur.archlinux.org/hol.git/ | ||