Commit e2b68abe authored by Ralf Jung's avatar Ralf Jung
Browse files

remove old versions (moved to https://gitlab.mpi-sws.org/FP/opam-old)

parent 5b733c12
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq-iris" {(= "branch.gen_proofmode.2018-01-12.0") | (= "dev")}
"coq-promising" {(= "dev.2018-01-11.0") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#fefd520540efd2f17863c343d2def899197e59f5"
}
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq" {(>= "8.7.1" & < "8.8~") | (= "dev")}
"coq-iris" {(= "branch.gen_proofmode.2018-01-16.2") | (= "dev")}
"coq-promising" {(= "dev.2018-01-18.0") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#4a1c14eb8bb0805346b79d59791d5d9de87057c3"
}
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq" {(>= "8.7.1" & < "8.8~") | (= "dev")}
"coq-iris" {(= "branch.gen_proofmode.2018-01-16.2") | (= "dev")}
"coq-promising" {(= "dev.2018-01-18.0") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#0565cb6fd820e6eb8cc38c33c415f0e4bfc5ac0c"
}
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq" {(>= "8.7.1" & < "8.8~") | (= "dev")}
"coq-iris" {(= "branch.gen_proofmode.2018-01-18.1") | (= "dev")}
"coq-promising" {(= "dev.2018-01-18.1") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#edf4b6c32de598647bb388e3e2ce4cefa774422e"
}
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq" {(>= "8.7.1" & < "8.8~") | (= "dev")}
"coq-iris" {(= "branch.gen_proofmode.2018-01-25.0") | (= "dev")}
"coq-promising" {(= "dev.2018-01-18.1") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#68b29464fc4ea114e1330c31741d160923653453"
}
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq" {(>= "8.7.1" & < "8.8~") | (= "dev")}
"coq-iris" {(= "branch.gen_proofmode.2018-01-25.3") | (= "dev")}
"coq-promising" {(= "dev.2018-01-18.1") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#38d06dba2ceb7e7b15cda5741601c9b4d13b975a"
}
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq" {(>= "8.7.1" & < "8.8~") | (= "dev")}
"coq-iris" {(= "branch.gen_proofmode.2018-01-27.0") | (= "dev")}
"coq-promising" {(= "dev.2018-01-27.1") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#1ef747150434f45501477fc4dfa2852dd486fc86"
}
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq" {(>= "8.7.1" & < "8.8~") | (= "dev")}
"coq-iris" {(= "branch.gen_proofmode.2018-01-27.0") | (= "dev")}
"coq-promising" {(= "dev.2018-01-27.1") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#e94b805f8e8c1681b6918f52f59b9567e330c575"
}
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq" {(>= "8.7.1" & < "8.8~") | (= "dev")}
"coq-iris" {(= "branch.gen_proofmode.2018-01-27.0") | (= "dev")}
"coq-promising" {(= "dev.2018-02-04.2") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#5b58b25c77951a81e58e2df76d1ee6bb0e2562d1"
}
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq" {(>= "8.7.1" & < "8.8~") | (= "dev")}
"coq-iris" {(= "branch.gen_proofmode.2018-01-27.0") | (= "dev")}
"coq-promising" {(= "dev.2018-02-04.2") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#b9ed7fe43651c9f3a328428c29305fd42e02894b"
}
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq" {(>= "8.7.1" & < "8.8~") | (= "dev")}
"coq-iris" {(= "branch.gen_proofmode.2018-02-06.3") | (= "dev")}
"coq-promising" {(= "dev.2018-02-07.0") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#86b5f80c01d841e5ef4b0ceb6c2600a6993158fc"
}
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq" {(>= "8.7.1" & < "8.8~") | (= "dev")}
"coq-iris" {(= "branch.gen_proofmode.2018-02-06.3") | (= "dev")}
"coq-promising" {(= "dev.2018-02-12.0") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#1e236ef9d1be3b57c0502cff3199deaeddf41c86"
}
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq" {(>= "8.7.1" & < "8.8~") | (= "dev")}
"coq-iris" {(= "branch.gen_proofmode.2018-02-14.5") | (= "dev")}
"coq-promising" {(= "dev.2018-02-14.0") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#1ceb9bbfc6fc8ef385f9c926f9375128f9f67c40"
}
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq" {(>= "8.7.1" & < "8.8~") | (= "dev")}
"coq-iris" {(= "branch.gen_proofmode.2018-02-14.5") | (= "dev")}
"coq-promising" {(= "dev.2018-02-14.0") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#05c47b22c9d6b39fdbbe659080847469a0b40cdd"
}
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq" {(>= "8.7.1" & < "8.8~") | (= "dev")}
"coq-iris" {(= "branch.gen_proofmode.2018-02-14.5") | (= "dev")}
"coq-promising" {(= "dev.2018-02-14.0") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#68cc27365e87ac873cd48b01f9bc84b2e7a5fa0d"
}
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq" {(>= "8.7.1" & < "8.8~") | (= "dev")}
"coq-iris" {(= "branch.gen_proofmode.2018-02-15.3") | (= "dev")}
"coq-promising" {(= "dev.2018-02-14.0") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#ba0add2772276a651d37dbd488c47925da6a1906"
}
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq" {(>= "8.7.1" & < "8.8~") | (= "dev")}
"coq-iris" {(= "branch.gen_proofmode.2018-02-15.5") | (= "dev")}
"coq-promising" {(= "dev.2018-02-14.0") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#1a2b52d658275633b693514c6963f10fec1c7ed5"
}
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq" {(>= "8.7.1" & < "8.8~") | (= "dev")}
"coq-iris" {(= "branch.gen_proofmode.2018-02-15.5") | (= "dev")}
"coq-promising" {(= "dev.2018-02-19.1") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#0be445d46c7de349cccb62420982f60811f04bb1"
}
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq" {(>= "8.7.1" & < "8.8~") | (= "dev")}
"coq-iris" {(= "branch.gen_proofmode.2018-02-15.5") | (= "dev")}
"coq-promising" {(= "dev.2018-02-19.1") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#5f6e73c91ee69c8931c5be1d7bb66486bbb860de"
}
opam-version: "2.0"
name: "coq-gpfsl"
maintainer: "Hoang-Hai Dang <haidang@mpi-sws.org>"
authors: "Hoang-Hai Dang <haidang@mpi-sws.org>"
homepage: "https://gitlab.mpi-sws.org/FP/gpfsl"
bug-reports: "https://gitlab.mpi-sws.org/FP/gpfsl/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/FP/gpfsl.git"
build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/gpfsl'" ]
depends: [
"ocaml"
"coq" {(>= "8.7.1" & < "8.8~") | (= "dev")}
"coq-iris" {(= "branch.gen_proofmode.2018-02-15.5") | (= "dev")}
"coq-promising" {(= "dev.2018-02-19.1") | (= "dev")}
]
synopsis:
"A combination of GPS and FSL in the promising semantics WITHOUT promises."
url {
src:
"git+https://gitlab.mpi-sws.org/FP/gpfsl.git#4b621c0d5b58bfd60261fa256d6e767697b78463"
}
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment