extra-source #14

Merged

hannes merged 2 commits from extra-source into main 2024-10-26 14:42:12 +00:00

Conversation 0 Commits 2 Files changed 2 +130 -110

2 commits

Author	SHA1	Message	Date
Hannes Mehnert	9bfde48f43	also handle extra-source, fixes #8	2024-10-24 15:03:35 +02:00
Hannes Mehnert	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