diff --git a/packages/gptar.0.0.1~dev/opam b/packages/gptar.0.0.1~dev/opam deleted file mode 100644 index 15122c0..0000000 --- a/packages/gptar.0.0.1~dev/opam +++ /dev/null @@ -1,40 +0,0 @@ -# This file is generated by dune, edit dune-project instead -opam-version: "2.0" -synopsis: "GPT headers that are also valid tar headers" -description: """ -Marshaling GPT headers such that they are a valid tar archive. - The archive will contain a dummy file named `GPTAR` whose content - is (at least) the GPT header and the partition table entries. - Put a tar-partition at the first available space, and you can - inspect the tar archive using regular tar utilities on the disk - image with the caveat of the added `GPTAR` dummy file.""" -maintainer: ["Reynir Björnsson "] -authors: ["Reynir Björnsson "] -license: "BSD-2-Clause" -tags: ["gpt" "tar" "mirage"] -homepage: "https://github.com/reynir/gptar" -bug-reports: "https://github.com/reynir/gptar/issues" -depends: [ - "ocaml" - "dune" {>= "3.7"} - "gpt" - "tar" {>= "3.0.0"} - "checkseum" - "odoc" {with-doc} -] -build: [ - ["dune" "subst"] {dev} - [ - "dune" - "build" - "-p" - name - "-j" - jobs - "@install" - "@runtest" {with-test} - "@doc" {with-doc} - ] -] -dev-repo: "git+https://github.com/reynir/gptar.git" -url { src: "git+https://github.com/reynir/gptar.git" }