|
|
6a0ae2bcab
|
take mirrors into account (#13) and allow upstream-caches (#5)
This is done by introducing a set of alternative download locations.
|
2024-11-14 17:40:22 +01:00 |
|
|
|
1e75be6900
|
remove logging from opam_file (now reported to status)
|
2024-11-08 13:46:05 +01:00 |
|
|
|
9c50538877
|
record and preserve opam file parsing issues
|
2024-11-04 18:43:21 +01:00 |
|
|
|
9bfde48f43
|
also handle extra-source, fixes #8
|
2024-10-24 15:03:35 +02:00 |
|
|
|
9a2576c423
|
extract the opam parsing function to a separate module (opam_file.ml / Opam_file)
prepares for handling extra-source as well
|
2024-10-24 14:45:31 +02:00 |
|
