Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Comparing changes

Choose two branches to see what's changed or to start a new pull request. If you need to, you can also compare across forks.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also compare across forks.
base fork: ocaml/opam-repository
...
head fork: ocaml/opam-repository
Checking mergeability… Don't worry, you can still create the pull request.
  • 2 commits
  • 1 file changed
  • 0 commit comments
  • 2 contributors
Showing with 1 addition and 1 deletion.
  1. +1 −1  packages/why.2.31/opam
View
2  packages/why.2.31/opam
@@ -10,7 +10,7 @@ build: [
depends: [
"lablgtk" {= "2.14.2-oasis8"}
"ocamlgraph" {= "1.8.2"}
- "coq" {= "8.3pl2"}
+ "coq" {= "8.3"}
"frama-c"
]
patches: ["opam.patch"]

No commit comments for this range

Something went wrong with that request. Please try again.