| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-05-13 | The great rewrite of 2023 | Thomas Letan |
| 2023-04-29 | Use latest coqffi release (beta8) | Thomas Letan |
| 2023-04-27 | Do not install GHC to build this blog | Thomas Letan |
| 2023-04-27 | Bump dune | Thomas Letan |
| 2022-11-19 | Update soupault, crunch png, update avatar | Thomas Letan |
| 2022-10-23 | Website reorg | Thomas Letan |
| 2022-09-10 | Refine the theme to be more readable | Thomas Letan |
| 2022-08-13 | Goodbye, cleopatra | Thomas Letan |