diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.10.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.10.0.html index 42aeae3004ec..7af43d69a476 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.10.0.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.10.0.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.11.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.11.0.html index 969d649218eb..7d9b1b91520a 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.11.0.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.11.0.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.12.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.12.0.html index 11dd7a983d78..990edb50b27a 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.12.0.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.12.0.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.13.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.13.0.html index c340b5494c04..623365c98b76 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.13.0.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.13.0.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.13.1.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.13.1.html index 6313ec733a65..c874a826f793 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.13.1.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.13.1.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.13.2.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.13.2.html index 561aecef5c81..7790229d6a69 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.13.2.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.13.2.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.14.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.14.0.html index 6b449fffd8f0..94c762d8d93c 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.14.0.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.14.0.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.14.1.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.14.1.html index a993f5e05396..c5e102585efb 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.14.1.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.14.1.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.15.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.15.0.html index 1a6ef136b491..f2fd29f5dc58 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.15.0.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.15.0.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.15.1.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.15.1.html index 781257788781..cceb2c69d4a1 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.15.1.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.15.1.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.16.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.16.0.html index 2cb5cdb9caf9..3e7bb9e697a8 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.16.0.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.16.0.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.17.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.17.0.html index 5ae71a4b95d5..9310e4414770 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.17.0.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.17.0.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.18.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.18.0.html index 7467a0ca2684..f3186f331bcc 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.18.0.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.18.0.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.19.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.19.0.html index 8a38a56fd304..b7d6ef32583b 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.19.0.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.19.0.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.5.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.5.0.html index 29d73369040a..c501eb7285e9 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.5.0.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.5.0.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.5.1.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.5.1.html index 5fde478826b2..758acef52db9 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.5.1.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.5.1.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.6.1.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.6.1.html index 8bf86eb89321..923ca51b7f05 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.6.1.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.6.1.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.8.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.8.0.html index bfc0ca9b51f9..7232d3873b0d 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.8.0.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.8.0.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.9.0.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.9.0.html index 38569af67067..74ef4c8883ed 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.9.0.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/8.9.0.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration diff --git a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/dev.html b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/dev.html index 5fba5b6635ba..054855aa3ea8 100644 --- a/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/dev.html +++ b/clean/Linux-x86_64-5.0.0-2.1.5/extra-dev/dev/aac-tactics/dev.html @@ -55,7 +55,7 @@

Context

coq-core dev The Coq Proof Assistant -- Core Binaries and Tools coq-stdlib dev The Coq Proof Assistant -- Standard Library coqide-server dev The Coq Proof Assistant, XML protocol server -dune 3.13.0 Fast, portable, and opinionated build system +dune 3.14.0 Fast, portable, and opinionated build system ocaml 5.0.0 The OCaml compiler (virtual package) ocaml-base-compiler 5.0.0 Official release 5.0.0 ocaml-config 3 OCaml Switch Configuration @@ -145,13 +145,13 @@

Install πŸš€

Installation size

Total: 2 M