Recent additions
| 2023-10-24T17:28:45Z | hecate | Cabal-3.10.2.1 |
| 2023-10-24T16:03:13Z | NikitaVolkov | theatre-dev-0.2 |
| 2023-10-24T15:42:41Z | nideco | warp-3.3.30 |
| 2023-10-24T15:15:21Z | SimonHengel | simdutf-0.1.0 |
| 2023-10-24T11:41:40Z | mrkkrp | flac-0.2.1 |
| 2023-10-24T11:26:12Z | NikitaVolkov | theatre-dev-0.1.1.1 |
| 2023-10-24T03:48:20Z | lyndward | foreign-0.2.1.0 |
| 2023-10-24T01:05:27Z | BenGamari | language-dot-0.1.2 |
| 2023-10-24T00:52:29Z | alcinnz | cattrap-0.3.0.0 |
| 2023-10-23T23:24:31Z | ErikDeCastroLopo | wide-word-0.1.6.0 |
| 2023-10-23T21:25:33Z | AndreasAbel | http-io-streams-0.1.6.3 |
| 2023-10-23T18:25:16Z | JohnRamsdell | cpsa-4.4.3 |
| 2023-10-23T17:15:56Z | cydparser | snap-1.1.3.3 |
| 2023-10-23T17:06:09Z | KevinQuick | demangler-1.1.0.0 |
| 2023-10-23T15:55:36Z | KevinQuick | sayable-1.2.3.0 |
| 2023-10-23T15:43:43Z | JasperVanDerJeugt | profiteur-0.4.7.0 |
| 2023-10-23T14:57:23Z | NikitaVolkov | theatre-dev-0.1.1 |
| 2023-10-23T10:04:05Z | TroelsHenriksen | futhark-0.25.6 |
| 2023-10-23T09:30:25Z | AndreasAbel | peano-0.1.0.2 |
| 2023-10-23T09:28:01Z | jcockx | agda2hs-1.1 |