Skip to content
Permalink

Comparing changes

This is a direct comparison between two commits made in this repository or its related repositories. View the default comparison for this range or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: coq/stdlib
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 86890668b75fc1e30cc21840ec68b866d21be6e9
Choose a base ref
..
head repository: coq/stdlib
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: dd5147154b847bc6cdb51b4a8984cea86a9ac7ad
Choose a head ref
Showing with 3 additions and 3 deletions.
  1. +1 −1 coq-stdlib.opam
  2. +2 −2 dune-project
2 changes: 1 addition & 1 deletion coq-stdlib.opam
View file
Original file line number Diff line number Diff line change
@@ -23,7 +23,7 @@ homepage: "https://coq.inria.fr/"
doc: "https://coq.github.io/doc/"
bug-reports: "https://github.com/coq/coq/issues"
depends: [
"dune" {>= "3.7"}
"dune" {>= "3.8"}
"coq-core"
"rocq-init" {= version}
"odoc" {with-doc}
4 changes: 2 additions & 2 deletions dune-project
View file
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
(lang dune 3.7)
(lang dune 3.8)
(name coq-stdlib)

; We use directory targets in documentation
(using directory-targets 0.1)

; We need this due to `(coq.pp )` declarations
(using coq 0.7)
(using coq 0.8)

(formatting
(enabled_for ocaml))