Compare commits
No commits in common. "1016c54ee7683537dd7dc13231d8a5be50a93767" and "1241753a8cd8c220e173fd1ffda996a10c04a5d0" have entirely different histories.
1016c54ee7
...
1241753a8c
1 changed files with 1 additions and 1 deletions
|
@ -156,7 +156,7 @@ module Make
|
||||||
opamfile.file_contents
|
opamfile.file_contents
|
||||||
in
|
in
|
||||||
if unavailable then
|
if unavailable then
|
||||||
(Logs.debug (fun m -> m "%s is marked unavailable, skipping" filename);
|
(Logs.info (fun m -> m "%s is marked unavailable, skipping" filename);
|
||||||
None)
|
None)
|
||||||
else
|
else
|
||||||
let url_section =
|
let url_section =
|
||||||
|
|
Loading…
Reference in a new issue