pkgsrc-Changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
CVS commit: pkgsrc/devel/menhir
Module Name: pkgsrc
Committed By: wiz
Date: Sun Jan 18 14:06:00 UTC 2026
Modified Files:
pkgsrc/devel/menhir: Makefile PLIST distinfo
Log Message:
menhir: update to 20260112.
## 2026/01/12
* A new GLR back-end has been introduced.
It is selected by the command line switch `--GLR`.
GLR is a non-deterministic parsing algorithm;
it is useful when the grammar lies outside the class LR(1),
either because the grammar is unambiguous
but requires more than one token of lookahead,
or because the grammar is truly ambiguous.
For more information, please read the manual.
* The command line switches `--coq*`
are now available also under the names `--rocq*`.
The names `--coq*` are deprecated
and may be removed at some point in the future.
The opam package `coq-menhirlib` is not renamed.
* Menhir now requires OCaml 4.08 or later.
* Major internal reorganization of the code.
* Table back-end: generate specialized table access code. This code should
in theory make table access slightly faster, but the difference does not
seem to be measurable.
* In `--strict` mode, all warnings are now errors.
* The situation where Menhir does not know how to resolve a reduce/reduce
conflict now causes a warning instead of an error. (In `--strict` mode, it
still causes an error.) This situation arises when there is no default order
between the two productions. This can happen when the productions originate
in different source files or when they are derived, via inlining, from the
same production.
* Menhir can now report several well-formedness issues (undefined symbols,
unused tokens, etc.) in one run, instead of stopping at the first issue.
* The new command line switch `--no-code-generation` causes Menhir to stop
without generating any code: in other words, no back-end is invoked. The
analyses in Menhir's front-end are still performed. If requested via the
command line switch `--cmly`, a `.cmly` file is written.
* In the `.conflicts` file, the conflicts are now listed in increasing
order of state numbers, whereas (for an unknown reason) they used to
be listed in decreasing order.
* If the table back-end has been selected, then the parse tables are exposed
to the user, by letting the generated file `parser.mli` contain the
declaration `module Tables : MenhirLib.TableFormat.TABLES`. This feature is
considered undocumented, unstable, and temporary: in the future, the format
of the parse tables may change, and this feature will eventually be removed.
* Some additions have been made in `MenhirSdk`:
+ In the signature `GRAMMAR`,
the module `Surface` is new.
This module provides access to two versions of the grammar,
namely the source grammar (as found in the `.mly` file)
and the grammar that is obtained
after parameterized nonterminal symbols have been expanded away
(before the nonterminal symbols marked `%inline` are eliminated).
(Contributed by Frédéric Bour; reviewed by François Pottier.)
* Some incompatible changes have been made in `MenhirSdk`:
+ In the signature `GRAMMAR`, the function
`Token.filename` has been removed.
* The words `effect` and `nonrec` are now reserved.
The word `parser` is no longer reserved.
* The ancient code back-end has been removed.
The command line switch `--code-ancient` is no longer supported.
* The command line switch `--list-errors-algorithm` is no longer supported.
* In the incremental API, the deprecated type `stack` and the deprecated
function `stack` have been removed. To inspect the parser's stack, the
functions `top` and `pop` should be used instead.
* The module `MenhirLib.InfiniteArray`, whose existence was not documented,
has been removed.
* The deprecated module `MenhirLib.General` has been removed.
* The deprecated demos in `demos/ocamlbuild` have been removed.
* Documentation comments have been added in `MenhirLib`.
* Some documentation comments have been added in `MenhirSdk`.
* Fix an obscure bug (which was never reported or observed). When a multi-way
shift/reduce/reduce conflict is resolved in favor of neither action,
a default reduction in this state should be forbidden (see 2012/01/23).
This was not the case; it should now be fixed.
* Fix an obscure bug where Menhir could report an end-of-stream conflict on an
empty set of terminal symbols.
To generate a diff of this commit:
cvs rdiff -u -r1.35 -r1.36 pkgsrc/devel/menhir/Makefile
cvs rdiff -u -r1.11 -r1.12 pkgsrc/devel/menhir/PLIST
cvs rdiff -u -r1.15 -r1.16 pkgsrc/devel/menhir/distinfo
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: pkgsrc/devel/menhir/Makefile
diff -u pkgsrc/devel/menhir/Makefile:1.35 pkgsrc/devel/menhir/Makefile:1.36
--- pkgsrc/devel/menhir/Makefile:1.35 Sun Jan 18 14:04:41 2026
+++ pkgsrc/devel/menhir/Makefile Sun Jan 18 14:06:00 2026
@@ -1,6 +1,6 @@
-# $NetBSD: Makefile,v 1.35 2026/01/18 14:04:41 wiz Exp $
+# $NetBSD: Makefile,v 1.36 2026/01/18 14:06:00 wiz Exp $
-DISTNAME= menhir-20250912
+DISTNAME= menhir-20260112
CATEGORIES= devel
MASTER_SITES= https://gitlab.inria.fr/fpottier/${PKGBASE}/-/archive/${PKGVERSION_NOREV}/
@@ -11,7 +11,7 @@ LICENSE= qpl-v1.0
SUPERSEDES= ocaml-menhir-[0-9]*
OCAML_USE_DUNE= yes
-DUNE_BUILD_PACKAGES= menhir menhirLib menhirSdk
+DUNE_BUILD_PACKAGES= menhir menhirGLR menhirLib menhirSdk
OPAM_INSTALL_FILES= ${DUNE_BUILD_PACKAGES}
.include "../../lang/ocaml/ocaml.mk"
Index: pkgsrc/devel/menhir/PLIST
diff -u pkgsrc/devel/menhir/PLIST:1.11 pkgsrc/devel/menhir/PLIST:1.12
--- pkgsrc/devel/menhir/PLIST:1.11 Tue May 10 08:20:33 2022
+++ pkgsrc/devel/menhir/PLIST Sun Jan 18 14:06:00 2026
@@ -1,19 +1,193 @@
-@comment $NetBSD: PLIST,v 1.11 2022/05/10 08:20:33 jaapb Exp $
+@comment $NetBSD: PLIST,v 1.12 2026/01/18 14:06:00 wiz Exp $
bin/menhir
${OCAML_SITELIB}/menhir/META
${OCAML_SITELIB}/menhir/dune-package
+${OCAML_SITELIB}/menhirGLR/GLR.ml
+${OCAML_SITELIB}/menhirGLR/GLR.mli
+${OCAML_SITELIB}/menhirGLR/GLRAPI.ml
+${OCAML_SITELIB}/menhirGLR/GSS.ml
+${OCAML_SITELIB}/menhirGLR/Input.ml
+${OCAML_SITELIB}/menhirGLR/Input.mli
+${OCAML_SITELIB}/menhirGLR/LinearizedArray.ml
+${OCAML_SITELIB}/menhirGLR/LinearizedArray.mli
+${OCAML_SITELIB}/menhirGLR/META
+${OCAML_SITELIB}/menhirGLR/MiniBabySet.ml
+${OCAML_SITELIB}/menhirGLR/MiniBabySet.mli
+${OCAML_SITELIB}/menhirGLR/MiniVector.ml
+${OCAML_SITELIB}/menhirGLR/MiniVector.mli
+${OCAML_SITELIB}/menhirGLR/PackedIntArray.ml
+${OCAML_SITELIB}/menhirGLR/PackedIntArray.mli
+${OCAML_SITELIB}/menhirGLR/Path.ml
+${OCAML_SITELIB}/menhirGLR/Path.mli
+${OCAML_SITELIB}/menhirGLR/PriorityQueue.ml
+${OCAML_SITELIB}/menhirGLR/PriorityQueue.mli
+${OCAML_SITELIB}/menhirGLR/RowDisplacementDecode.ml
+${OCAML_SITELIB}/menhirGLR/RowDisplacementDecode.mli
+${OCAML_SITELIB}/menhirGLR/StaticVersion.ml
+${OCAML_SITELIB}/menhirGLR/StaticVersion.mli
+${OCAML_SITELIB}/menhirGLR/TableFormat.ml
+${OCAML_SITELIB}/menhirGLR/TableInterpreter.ml
+${OCAML_SITELIB}/menhirGLR/TableInterpreter.mli
+${OCAML_SITELIB}/menhirGLR/Tops.ml
+${OCAML_SITELIB}/menhirGLR/Tops.mli
+${OCAML_SITELIB}/menhirGLR/dune-package
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirGLR/menhirGLR.a
+${OCAML_SITELIB}/menhirGLR/menhirGLR.cma
+${OCAML_SITELIB}/menhirGLR/menhirGLR.cmi
+${OCAML_SITELIB}/menhirGLR/menhirGLR.cmt
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirGLR/menhirGLR.cmx
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirGLR/menhirGLR.cmxa
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirGLR/menhirGLR.cmxs
+${OCAML_SITELIB}/menhirGLR/menhirGLR.ml
+${OCAML_SITELIB}/menhirGLR/menhirGLR__GLR.cmi
+${OCAML_SITELIB}/menhirGLR/menhirGLR__GLR.cmt
+${OCAML_SITELIB}/menhirGLR/menhirGLR__GLR.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirGLR/menhirGLR__GLR.cmx
+${OCAML_SITELIB}/menhirGLR/menhirGLR__GLRAPI.cmi
+${OCAML_SITELIB}/menhirGLR/menhirGLR__GLRAPI.cmt
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirGLR/menhirGLR__GLRAPI.cmx
+${OCAML_SITELIB}/menhirGLR/menhirGLR__GSS.cmi
+${OCAML_SITELIB}/menhirGLR/menhirGLR__GSS.cmt
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirGLR/menhirGLR__GSS.cmx
+${OCAML_SITELIB}/menhirGLR/menhirGLR__Input.cmi
+${OCAML_SITELIB}/menhirGLR/menhirGLR__Input.cmt
+${OCAML_SITELIB}/menhirGLR/menhirGLR__Input.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirGLR/menhirGLR__Input.cmx
+${OCAML_SITELIB}/menhirGLR/menhirGLR__LinearizedArray.cmi
+${OCAML_SITELIB}/menhirGLR/menhirGLR__LinearizedArray.cmt
+${OCAML_SITELIB}/menhirGLR/menhirGLR__LinearizedArray.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirGLR/menhirGLR__LinearizedArray.cmx
+${OCAML_SITELIB}/menhirGLR/menhirGLR__MiniBabySet.cmi
+${OCAML_SITELIB}/menhirGLR/menhirGLR__MiniBabySet.cmt
+${OCAML_SITELIB}/menhirGLR/menhirGLR__MiniBabySet.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirGLR/menhirGLR__MiniBabySet.cmx
+${OCAML_SITELIB}/menhirGLR/menhirGLR__MiniVector.cmi
+${OCAML_SITELIB}/menhirGLR/menhirGLR__MiniVector.cmt
+${OCAML_SITELIB}/menhirGLR/menhirGLR__MiniVector.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirGLR/menhirGLR__MiniVector.cmx
+${OCAML_SITELIB}/menhirGLR/menhirGLR__PackedIntArray.cmi
+${OCAML_SITELIB}/menhirGLR/menhirGLR__PackedIntArray.cmt
+${OCAML_SITELIB}/menhirGLR/menhirGLR__PackedIntArray.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirGLR/menhirGLR__PackedIntArray.cmx
+${OCAML_SITELIB}/menhirGLR/menhirGLR__Path.cmi
+${OCAML_SITELIB}/menhirGLR/menhirGLR__Path.cmt
+${OCAML_SITELIB}/menhirGLR/menhirGLR__Path.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirGLR/menhirGLR__Path.cmx
+${OCAML_SITELIB}/menhirGLR/menhirGLR__PriorityQueue.cmi
+${OCAML_SITELIB}/menhirGLR/menhirGLR__PriorityQueue.cmt
+${OCAML_SITELIB}/menhirGLR/menhirGLR__PriorityQueue.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirGLR/menhirGLR__PriorityQueue.cmx
+${OCAML_SITELIB}/menhirGLR/menhirGLR__RowDisplacementDecode.cmi
+${OCAML_SITELIB}/menhirGLR/menhirGLR__RowDisplacementDecode.cmt
+${OCAML_SITELIB}/menhirGLR/menhirGLR__RowDisplacementDecode.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirGLR/menhirGLR__RowDisplacementDecode.cmx
+${OCAML_SITELIB}/menhirGLR/menhirGLR__StaticVersion.cmi
+${OCAML_SITELIB}/menhirGLR/menhirGLR__StaticVersion.cmt
+${OCAML_SITELIB}/menhirGLR/menhirGLR__StaticVersion.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirGLR/menhirGLR__StaticVersion.cmx
+${OCAML_SITELIB}/menhirGLR/menhirGLR__TableFormat.cmi
+${OCAML_SITELIB}/menhirGLR/menhirGLR__TableFormat.cmt
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirGLR/menhirGLR__TableFormat.cmx
+${OCAML_SITELIB}/menhirGLR/menhirGLR__TableInterpreter.cmi
+${OCAML_SITELIB}/menhirGLR/menhirGLR__TableInterpreter.cmt
+${OCAML_SITELIB}/menhirGLR/menhirGLR__TableInterpreter.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirGLR/menhirGLR__TableInterpreter.cmx
+${OCAML_SITELIB}/menhirGLR/menhirGLR__Tops.cmi
+${OCAML_SITELIB}/menhirGLR/menhirGLR__Tops.cmt
+${OCAML_SITELIB}/menhirGLR/menhirGLR__Tops.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirGLR/menhirGLR__Tops.cmx
+${OCAML_SITELIB}/menhirLib/Convert.ml
+${OCAML_SITELIB}/menhirLib/Convert.mli
+${OCAML_SITELIB}/menhirLib/Engine.ml
+${OCAML_SITELIB}/menhirLib/Engine.mli
+${OCAML_SITELIB}/menhirLib/EngineTypes.ml
+${OCAML_SITELIB}/menhirLib/ErrorReports.ml
+${OCAML_SITELIB}/menhirLib/ErrorReports.mli
+${OCAML_SITELIB}/menhirLib/IncrementalEngine.ml
+${OCAML_SITELIB}/menhirLib/InspectionTableFormat.ml
+${OCAML_SITELIB}/menhirLib/InspectionTableInterpreter.ml
+${OCAML_SITELIB}/menhirLib/InspectionTableInterpreter.mli
+${OCAML_SITELIB}/menhirLib/LexerUtil.ml
+${OCAML_SITELIB}/menhirLib/LexerUtil.mli
+${OCAML_SITELIB}/menhirLib/LinearizedArray.ml
+${OCAML_SITELIB}/menhirLib/LinearizedArray.mli
${OCAML_SITELIB}/menhirLib/META
+${OCAML_SITELIB}/menhirLib/PackedIntArray.ml
+${OCAML_SITELIB}/menhirLib/PackedIntArray.mli
+${OCAML_SITELIB}/menhirLib/Printers.ml
+${OCAML_SITELIB}/menhirLib/Printers.mli
+${OCAML_SITELIB}/menhirLib/RowDisplacementDecode.ml
+${OCAML_SITELIB}/menhirLib/RowDisplacementDecode.mli
+${OCAML_SITELIB}/menhirLib/StaticVersion.ml
+${OCAML_SITELIB}/menhirLib/StaticVersion.mli
+${OCAML_SITELIB}/menhirLib/TableFormat.ml
+${OCAML_SITELIB}/menhirLib/TableInterpreter.ml
+${OCAML_SITELIB}/menhirLib/TableInterpreter.mli
${OCAML_SITELIB}/menhirLib/dune-package
${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirLib/menhirLib.a
${OCAML_SITELIB}/menhirLib/menhirLib.cma
${OCAML_SITELIB}/menhirLib/menhirLib.cmi
${OCAML_SITELIB}/menhirLib/menhirLib.cmt
-${OCAML_SITELIB}/menhirLib/menhirLib.cmti
${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirLib/menhirLib.cmx
${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirLib/menhirLib.cmxa
${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirLib/menhirLib.cmxs
${OCAML_SITELIB}/menhirLib/menhirLib.ml
-${OCAML_SITELIB}/menhirLib/menhirLib.mli
+${OCAML_SITELIB}/menhirLib/menhirLib__Convert.cmi
+${OCAML_SITELIB}/menhirLib/menhirLib__Convert.cmt
+${OCAML_SITELIB}/menhirLib/menhirLib__Convert.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirLib/menhirLib__Convert.cmx
+${OCAML_SITELIB}/menhirLib/menhirLib__Engine.cmi
+${OCAML_SITELIB}/menhirLib/menhirLib__Engine.cmt
+${OCAML_SITELIB}/menhirLib/menhirLib__Engine.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirLib/menhirLib__Engine.cmx
+${OCAML_SITELIB}/menhirLib/menhirLib__EngineTypes.cmi
+${OCAML_SITELIB}/menhirLib/menhirLib__EngineTypes.cmt
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirLib/menhirLib__EngineTypes.cmx
+${OCAML_SITELIB}/menhirLib/menhirLib__ErrorReports.cmi
+${OCAML_SITELIB}/menhirLib/menhirLib__ErrorReports.cmt
+${OCAML_SITELIB}/menhirLib/menhirLib__ErrorReports.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirLib/menhirLib__ErrorReports.cmx
+${OCAML_SITELIB}/menhirLib/menhirLib__IncrementalEngine.cmi
+${OCAML_SITELIB}/menhirLib/menhirLib__IncrementalEngine.cmt
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirLib/menhirLib__IncrementalEngine.cmx
+${OCAML_SITELIB}/menhirLib/menhirLib__InspectionTableFormat.cmi
+${OCAML_SITELIB}/menhirLib/menhirLib__InspectionTableFormat.cmt
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirLib/menhirLib__InspectionTableFormat.cmx
+${OCAML_SITELIB}/menhirLib/menhirLib__InspectionTableInterpreter.cmi
+${OCAML_SITELIB}/menhirLib/menhirLib__InspectionTableInterpreter.cmt
+${OCAML_SITELIB}/menhirLib/menhirLib__InspectionTableInterpreter.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirLib/menhirLib__InspectionTableInterpreter.cmx
+${OCAML_SITELIB}/menhirLib/menhirLib__LexerUtil.cmi
+${OCAML_SITELIB}/menhirLib/menhirLib__LexerUtil.cmt
+${OCAML_SITELIB}/menhirLib/menhirLib__LexerUtil.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirLib/menhirLib__LexerUtil.cmx
+${OCAML_SITELIB}/menhirLib/menhirLib__LinearizedArray.cmi
+${OCAML_SITELIB}/menhirLib/menhirLib__LinearizedArray.cmt
+${OCAML_SITELIB}/menhirLib/menhirLib__LinearizedArray.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirLib/menhirLib__LinearizedArray.cmx
+${OCAML_SITELIB}/menhirLib/menhirLib__PackedIntArray.cmi
+${OCAML_SITELIB}/menhirLib/menhirLib__PackedIntArray.cmt
+${OCAML_SITELIB}/menhirLib/menhirLib__PackedIntArray.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirLib/menhirLib__PackedIntArray.cmx
+${OCAML_SITELIB}/menhirLib/menhirLib__Printers.cmi
+${OCAML_SITELIB}/menhirLib/menhirLib__Printers.cmt
+${OCAML_SITELIB}/menhirLib/menhirLib__Printers.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirLib/menhirLib__Printers.cmx
+${OCAML_SITELIB}/menhirLib/menhirLib__RowDisplacementDecode.cmi
+${OCAML_SITELIB}/menhirLib/menhirLib__RowDisplacementDecode.cmt
+${OCAML_SITELIB}/menhirLib/menhirLib__RowDisplacementDecode.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirLib/menhirLib__RowDisplacementDecode.cmx
+${OCAML_SITELIB}/menhirLib/menhirLib__StaticVersion.cmi
+${OCAML_SITELIB}/menhirLib/menhirLib__StaticVersion.cmt
+${OCAML_SITELIB}/menhirLib/menhirLib__StaticVersion.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirLib/menhirLib__StaticVersion.cmx
+${OCAML_SITELIB}/menhirLib/menhirLib__TableFormat.cmi
+${OCAML_SITELIB}/menhirLib/menhirLib__TableFormat.cmt
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirLib/menhirLib__TableFormat.cmx
+${OCAML_SITELIB}/menhirLib/menhirLib__TableInterpreter.cmi
+${OCAML_SITELIB}/menhirLib/menhirLib__TableInterpreter.cmt
+${OCAML_SITELIB}/menhirLib/menhirLib__TableInterpreter.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/menhirLib/menhirLib__TableInterpreter.cmx
${OCAML_SITELIB}/menhirSdk/META
${OCAML_SITELIB}/menhirSdk/cmly_api.ml
${OCAML_SITELIB}/menhirSdk/cmly_format.ml
@@ -55,5 +229,6 @@ share/doc/menhir/manual.pdf
share/doc/menhir/manual001.png
share/doc/menhir/manual002.png
share/doc/menhir/manual003.png
+share/doc/menhirGLR/LICENSE
share/doc/menhirLib/LICENSE
share/doc/menhirSdk/LICENSE
Index: pkgsrc/devel/menhir/distinfo
diff -u pkgsrc/devel/menhir/distinfo:1.15 pkgsrc/devel/menhir/distinfo:1.16
--- pkgsrc/devel/menhir/distinfo:1.15 Sun Jan 18 14:04:41 2026
+++ pkgsrc/devel/menhir/distinfo Sun Jan 18 14:06:00 2026
@@ -1,5 +1,5 @@
-$NetBSD: distinfo,v 1.15 2026/01/18 14:04:41 wiz Exp $
+$NetBSD: distinfo,v 1.16 2026/01/18 14:06:00 wiz Exp $
-BLAKE2s (menhir-20250912.tar.gz) = a62e784fc36f868f3c20be1d1c84fd7d086607c057a210bf2e3589bf7a32109b
-SHA512 (menhir-20250912.tar.gz) = 93c39c6472fec9c7e3d747abe2742153d92b71d9cf5a1eca8c903f59cee2b7a372745b9f203056ab6820f8464085b645568243790632d7c069228a392593ef6e
-Size (menhir-20250912.tar.gz) = 1471361 bytes
+BLAKE2s (menhir-20260112.tar.gz) = 2d326d860fc0a0ae75ebe6469401e66661f8eaf3076fea5152b262a7e66183a1
+SHA512 (menhir-20260112.tar.gz) = a8b14e393f18ebff937c003fd0d89f1364e70b6c1e04476e81530409f3fc7d78eb9f3409fe610fb2b7941e510ea427f56b37986fdbcbbc362a021a5dcf9a973c
+Size (menhir-20260112.tar.gz) = 1836023 bytes
Home |
Main Index |
Thread Index |
Old Index