dgit.raspbian.org Git - ocaml.git/commit

author	Stephane Glondu <steph@glondu.net>
	Tue, 21 Dec 2021 12:48:26 +0000 (13:48 +0100)
committer	Stéphane Glondu <glondu@debian.org>
	Tue, 21 Dec 2021 12:48:26 +0000 (13:48 +0100)
commit	eabdaae7eba23922e31e223c0c97c3efed1f71b8
tree	e1c67059c30c6fac3abad882bdb71341121465d2	tree \| snapshot
parent	05199e939f7309647abb8e5dda2fe3d2a77042f9	commit \| diff

New upstream version 4.12.1

30 files changed:

Changes		diff \| blob \| history
VERSION		diff \| blob \| history
asmcomp/amd64/reload.ml		diff \| blob \| history
boot/ocamlc		diff \| blob \| history
boot/ocamllex		diff \| blob \| history
configure		diff \| blob \| history
configure.ac		diff \| blob \| history
manual/manual/allfiles.etex		diff \| blob \| history
manual/manual/html_processing/scss/_common.scss		diff \| blob \| history
manual/manual/html_processing/scss/manual.scss		diff \| blob \| history
manual/manual/html_processing/scss/style.scss		diff \| blob \| history
manual/manual/html_processing/src/process_manual.ml		diff \| blob \| history
manual/manual/macros.hva		diff \| blob \| history
ocaml-variants.opam		diff \| blob \| history
otherlibs/systhreads/st_stubs.c		diff \| blob \| history
runtime/afl.c		diff \| blob \| history
runtime/caml/misc.h		diff \| blob \| history
runtime/major_gc.c		diff \| blob \| history
testsuite/tests/basic-more/pr10294.ml	[new file with mode: 0644]	blob
testsuite/tests/basic-more/pr10294.reference	[new file with mode: 0644]	blob
testsuite/tests/load_path/driver.ml	[new file with mode: 0644]	blob
testsuite/tests/load_path/payload.ml	[new file with mode: 0644]	blob
testsuite/tests/load_path/test.ml	[new file with mode: 0644]	blob
tools/ci/inria/launch	[new file with mode: 0755]	blob
tools/ci/inria/main		diff \| blob \| history
toplevel/opttopdirs.ml		diff \| blob \| history
toplevel/topdirs.ml		diff \| blob \| history
typing/types.ml		diff \| blob \| history
utils/load_path.ml		diff \| blob \| history
utils/load_path.mli		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.