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

gptar is released now, no need to pin

Browse source
This commit is contained in:
Hannes Mehnert 2024-10-28 19:35:16 +01:00
parent 826cc85b71
commit 9bb86b3507
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
mirage/config.ml
View file

@ -15,7 +15,7 @@ let mirror =
package ~min:"3.0.0" "tar-mirage" ;
package ~max:"0.2.0" "mirage-block-partition" ;
package "gpt" ;
package "gptar" ~pin:"git+https://github.com/reynir/gptar.git" ;
package "gptar" ;
package "oneffs" ;
package "digestif" ;
]