gptar is released now
This commit is contained in:
parent
0688668a7a
commit
17821398aa
1 changed files with 0 additions and 40 deletions
|
@ -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 <reynir@reynir.dk>"]
|
||||
authors: ["Reynir Björnsson <reynir@reynir.dk>"]
|
||||
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" }
|
Loading…
Reference in a new issue