Comparing `eb5df275…` and `85d7ad2b…`

Compare revisions Compare by datetime

Compare packages Compare package derivations Compare system test derivations

News entries

No news entry changes

New packages

Name	Version
ocaml-piqi	0.7.7	More information
ocaml-piqilib	0.6.15	More information
ocaml-ezjsonm	1.3.0	More information

Removed packages

Name	Version
ocaml4.07-piqi	0.7.7	More information
ocaml4.07-ezjsonm	1.1.0	More information
ocaml4.07-piqilib	0.6.15	More information

Version changes

Name	Versions
coq-stdlib	8.15.1 (old) 8.15.2 (new)
ocaml-utop	2.9.1 (old) 2.9.2 (new)
coq	8.15.1 (old) 8.15.2 (new)
coq-ide	8.15.1 (old) 8.15.2 (new)
ocamlformat	0.21.0 (old) 0.22.4 (new)
ocaml-tsdl	0.9.7 (old) 0.9.9 (new)
ocaml-easy-format	1.3.3 (old) 1.3.4 (new)
ocaml-sexplib0	0.15.0 (old) 0.15.1 (new)
omake	0.10.3 (old) 0.10.5 (new)
coq-ide-server	8.15.1 (old) 8.15.2 (new)
coq-core	8.15.1 (old) 8.15.2 (new)

Lint warnings

ocaml4.07-ezjsonm (version: 1.1.0)

	Linter	Message
Resolved warning	input-labels Identify input labels that do not match package names	label 'ocaml-sexplib' does not match package name 'ocaml4.07-sexplib'
Resolved warning	input-labels Identify input labels that do not match package names	label 'ocaml-alcotest' does not match package name 'ocaml4.07-alcotest'
Resolved warning	input-labels Identify input labels that do not match package names	label 'ocaml-jsonm' does not match package name 'ocaml4.07-jsonm'
Resolved warning	input-labels Identify input labels that do not match package names	label 'ocaml-hex' does not match package name 'ocaml4.07-hex'

ocaml4.07-piqi (version: 0.7.7)

	Linter	Message
Resolved warning	input-labels Identify input labels that do not match package names	label 'ocaml-piqilib' does not match package name 'ocaml4.07-piqilib'
Resolved warning	input-labels Identify input labels that do not match package names	label 'ocaml-num' does not match package name 'ocaml4.07-num'
Resolved warning	input-labels Identify input labels that do not match package names	label 'ocaml-stdlib-shims' does not match package name 'ocaml4.07-stdlib-shims'

ocaml4.07-piqilib (version: 0.6.15)

	Linter	Message
Resolved warning	input-labels Identify input labels that do not match package names	label 'ocaml-xmlm' does not match package name 'ocaml4.07-xmlm'
Resolved warning	input-labels Identify input labels that do not match package names	label 'ocaml-base64' does not match package name 'ocaml4.07-base64'
Resolved warning	input-labels Identify input labels that do not match package names	label 'ocaml-easy-format' does not match package name 'ocaml4.07-easy-format'
Resolved warning	input-labels Identify input labels that do not match package names	label 'ocaml-sedlex' does not match package name 'ocaml4.07-sedlex'