robur/opam-mirror
4
0
Fork 0
Code Issues 6 Pull requests 2 Projects Releases Packages Wiki Activity Actions

avoid gmp dependency in config.ml -- this is just a dune cache issue

Browse source
This commit is contained in:
Hannes Mehnert 2023-05-27 19:19:27 +02:00
parent 1ebf370a4f
commit bbb3d2336a
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
mirage/config.ml
View file

@ -83,7 +83,6 @@ let mirror =
package ~min:"2.2.0" "tar-mirage" ; package ~min:"2.2.0" "tar-mirage" ;
package "mirage-block-partition" ; package "mirage-block-partition" ;
package "oneffs" ; package "oneffs" ;
package "gmp" ;
] ]
(block @-> time @-> pclock @-> stackv4v6 @-> git_client @-> alpn_client @-> job) (block @-> time @-> pclock @-> stackv4v6 @-> git_client @-> alpn_client @-> job)