3 commits

Author	SHA1	Message	Date
Hannes Mehnert	b79d2106cf	opam-graph: uses a tar.bz2	2024-06-27 09:15:57 +02:00
Robur Team	9cc313c191	builder-web, opam-graph: use github as source for now	2024-06-26 11:03:27 +00:00
Hannes Mehnert	60ff26d3dd	modulectomy, opam-graph: put 5 as an upper bound	2024-06-02 22:40:01 +02:00