Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
https://about.gitlab.com/releases/2021/02/11/security-release-gitlab-13-8-4-released/
https://about.gitlab.com/releases/2021/02/05/gitlab-13-8-3-released/

menhirSdk.META 187 Bytes
Newer Older
POTTIER Francois's avatar
POTTIER Francois committed
1 2 3 4
requires = ""
description = "Toolkit for postprocessing Menhir automata (.cmly files)"
archive(byte) = "menhirSdk.cmo"
archive(native) = "menhirSdk.cmx"
5
plugin(native) = "menhirSdk.cmxs"