From 9b02dfdd88e451d0575292d0a89f7468b57cbe8a Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Wed, 28 Sep 2022 10:41:46 +0200 Subject: [PATCH] solo5-elftool fixed now --- mirage/bad.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/mirage/bad.ml b/mirage/bad.ml index 249b338..2a5a491 100644 --- a/mirage/bad.ml +++ b/mirage/bad.ml @@ -121,7 +121,6 @@ let archives = "https://github.com/jrochel/eliom/archive/6.4.0.tar.gz" ; "https://github.com/drjdn/ocaml_lua_parser/archive/1.0.1.tar.gz" ; "https://github.com/sagotch/To.ml/archive/v1.0.0.tar.gz" ; - "https://github.com/roburio/ocaml-solo5-elftool/releases/download/v0.1.0/solo5-elftool-0.1.0.tbz" ; "https://zoggy.github.io/ocaml-rdf/ocaml-rdf-0.9.0.tar.gz" ; "https://github.com/sagotch/To.ml/archive/v2.1.0.tar.gz" ; "https://github.com/sagotch/To.ml/archive/v2.0.0.tar.gz" ;