robur/unikernel-repo
4
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

ptt moved to mirage org

Browse source
This commit is contained in:
Hannes Mehnert 2022-01-27 19:19:07 +01:00
parent c6b8058230
commit 576468ccf4
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
packages/ptt.0.0.1~dev/opam
View file

@ -7,9 +7,9 @@ a submission server. It can be use as an UNIX service or an MirageOS unikernel."
maintainer: "Romain Calascibetta <romain.calascibetta@gmail.com>" maintainer: "Romain Calascibetta <romain.calascibetta@gmail.com>"
authors: "Romain Calascibetta <romain.calascibetta@gmail.com>" authors: "Romain Calascibetta <romain.calascibetta@gmail.com>"
license: "MIT" license: "MIT"
homepage: "https://github.com/dinosaure/ptt" homepage: "https://github.com/mirage/ptt"
doc: "https://dinosaure.github.io/ptt/" doc: "https://mirage.github.io/ptt/"
bug-reports: "https://github.com/dinosaure/ptt/issues" bug-reports: "https://github.com/mirage/ptt/issues"
depends: [ depends: [
"ocaml" {>= "4.07.0"} "ocaml" {>= "4.07.0"}
"dune" "dune"
@ -61,7 +61,7 @@ depends: [
] ]
build: ["dune" "build" "-p" name "-j" jobs] build: ["dune" "build" "-p" name "-j" jobs]
run-test: ["dune" "runtest" "-p" name "-j" jobs] run-test: ["dune" "runtest" "-p" name "-j" jobs]
dev-repo: "git+https://github.com/dinosaure/ptt.git" dev-repo: "git+https://github.com/mirage/ptt.git"
url { url {
src: "git+https://github.com/dinosaure/ptt.git" src: "git+https://github.com/mirage/ptt.git"
} }