Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
camlidl-1.09.parallelMake.patch | 2023-01-20 07:40 | 445 | ||
camlidl-1.12-destdir.patch | 2024-06-18 03:10 | 1.1K | ||
includes.patch | 2021-04-21 13:39 | 227 | ||
META.camlidl | 2015-08-09 11:38 | 123 | ||
nowarn.patch | 2021-04-21 13:39 | 214 | ||
tests.patch | 2021-04-21 13:39 | 931 | ||