this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #26788 from reynir/release-gptar-v1.0.0

[new release] gptar (1.0.0)

authored by

Shon Feder and committed by
GitHub
d642e666 5492efa2

+47
+47
packages/gptar/gptar.1.0.0/opam
··· 1 + opam-version: "2.0" 2 + synopsis: "GPT headers that are also valid tar headers" 3 + description: """ 4 + Marshaling GPT headers such that they are a valid tar archive. 5 + The archive will contain a dummy file named `GPTAR` whose content 6 + is (at least) the GPT header and the partition table entries. 7 + Put a tar-partition at the first available space, and you can 8 + inspect the tar archive using regular tar utilities on the disk 9 + image with the caveat of the added `GPTAR` dummy file.""" 10 + maintainer: ["Reynir Björnsson <reynir@reynir.dk>"] 11 + authors: ["Reynir Björnsson <reynir@reynir.dk>"] 12 + license: "BSD-2-Clause" 13 + tags: ["gpt" "tar" "mirage"] 14 + homepage: "https://github.com/reynir/gptar" 15 + bug-reports: "https://github.com/reynir/gptar/issues" 16 + depends: [ 17 + "ocaml" 18 + "dune" {>= "3.7"} 19 + "gpt" 20 + "tar" {>= "3.0.0"} 21 + "checkseum" 22 + "odoc" {with-doc} 23 + ] 24 + build: [ 25 + ["dune" "subst"] {dev} 26 + [ 27 + "dune" 28 + "build" 29 + "-p" 30 + name 31 + "-j" 32 + jobs 33 + "@install" 34 + "@runtest" {with-test} 35 + "@doc" {with-doc} 36 + ] 37 + ] 38 + dev-repo: "git+https://github.com/reynir/gptar.git" 39 + url { 40 + src: 41 + "https://github.com/reynir/gptar/releases/download/v1.0.0/gptar-1.0.0.tbz" 42 + checksum: [ 43 + "sha256=f243377c4650ecf75900997c948b518e6d6b1dd99fee8ee84d3c4b404d0badd0" 44 + "sha512=f28b4ea53a8902b05dd1d7120056876fd25cefe51c0680083fd9565c530b2efc930b2caf4cf35d3b894d5100b1c33b0b3641c139e6e40a6923fc200ec227e9f2" 45 + ] 46 + } 47 + x-commit-hash: "f99160b5ac01fd34fbef0c7fe91135d80346e5e0"