Required. The commit to use as the basis for the comparison.
Required. The commit to compare against the base commit.
Language

News entries

No news entry changes

New packages

NameVersion
dune-dyn3.11.0More information
opam-installer2.1.5More information
dune-stdune3.11.0More information
dune-site3.11.0More information
ocaml-ppx-stable-witness0.16.0More information
dune-ordering3.11.0More information
ocaml-ppx-deriving-yojson3.7.0More information
ocaml-junit2.0.2More information
dune-private-libs3.11.0More information
ocaml-ppx-deriving-yaml0.2.1More information
ocaml-yaml3.2.0More information
ocaml-pp1.2.0More information
ocaml-junit-alcotest2.0.2More information
ocaml-ppx-import1.10.0More information

Removed packages

NameVersion
coq-core8.16.1More information
coq-stdlib8.16.1More information

Version changes

NameVersions
ocaml5.0-dune-configurator
frama-c
ocaml4.09-dune-configurator
why3
ocaml-dose3
coq-stdpp
coq-mathcomp
ocaml-ppxlib
ocaml-dune-build-info
ocaml-ppx-bin-prot
ocaml-graph
coq
coq-gappa
ocaml-ppx-bench
ocaml-bisect-ppx
ocaml-ppx-sexp-conv
opam
ocaml
ocaml-base64
ocaml-sedlex
ocaml-alcotest
coq-coquelicot
dune
coq-autosubst
dune-configurator
ocaml-sexplib
coq-ide-server
coq-flocq
ocaml-bin-prot
coq-interval
coq-ide
ocaml-jst-config
coq-equations

Lint warnings

coq-core (version: 8.16.1)

LinterMessage
Resolved warningpatch-file-names

Validate file names and availability of patches

file names of patches should start with the package name

coq-ide (version: 8.16.1)

LinterMessage
Resolved warningpatch-file-names

Validate file names and availability of patches

file names of patches should start with the package name

coq-ide-server (version: 8.16.1)

LinterMessage
Resolved warningpatch-file-names

Validate file names and availability of patches

file names of patches should start with the package name

coq-stdlib (version: 8.16.1)

LinterMessage
Resolved warningpatch-file-names

Validate file names and availability of patches

file names of patches should start with the package name

ocaml-astring (version: 0.8.5)

LinterMessage
Resolved warninginput-labels

Identify input labels that do not match package names

label 'topkg' does not match package name 'ocaml-topkg'

ocaml-dose3 (version: 5.0.1)

LinterMessage
Resolved warningpatch-headers

Validate patch headers

ocaml-dose3-dont-make-printconf.patch: patch lacks comment and upstream status

ocaml-fmt (version: 0.9.0)

LinterMessage
Resolved warninginput-labels

Identify input labels that do not match package names

label 'topkg' does not match package name 'ocaml-topkg'
Resolved warninginput-labels

Identify input labels that do not match package names

label 'cmdliner' does not match package name 'ocaml-cmdliner'

ocaml-jsonm (version: 1.0.1)

LinterMessage
Resolved warninginput-labels

Identify input labels that do not match package names

label 'topkg' does not match package name 'ocaml-topkg'

ocaml-ocb-stubblr (version: 0.1.1)

LinterMessage
Resolved warninginput-labels

Identify input labels that do not match package names

label 'topkg' does not match package name 'ocaml-topkg'
Resolved warninginput-labels

Identify input labels that do not match package names

label 'astring' does not match package name 'ocaml-astring'

ocaml-ppx-import (version: 1.10.0)

LinterMessage
New warningsynopsis

Validate package synopses

no period allowed at the end of the synopsis

ocaml-uutf (version: 1.0.3)

LinterMessage
Resolved warninginput-labels

Identify input labels that do not match package names

label 'topkg' does not match package name 'ocaml-topkg'

opam (version: 2.1.3)

LinterMessage
Resolved warningformatting

Look for formatting issues in the source

line 968 is way too long (102 characters)
Resolved warningformatting

Look for formatting issues in the source

line 966 is way too long (99 characters)
Resolved warningformatting

Look for formatting issues in the source

line 964 is way too long (99 characters)
Resolved warningformatting

Look for formatting issues in the source

line 962 is way too long (99 characters)
Resolved warningformatting

Look for formatting issues in the source

line 960 is way too long (99 characters)
Resolved warningformatting

Look for formatting issues in the source

line 958 is way too long (99 characters)