Skip to content

GitLab

why3
why3

Mise à jour terminée. Pour connaître les apports de la version 13.8.1 par rapport à notre ancienne version vous pouvez lire les Release Notes suivantes : https://about.gitlab.com/releases/2021/01/14/critical-security-release-gitlab-13-7-4-released/ https://about.gitlab.com/releases/2021/01/25/gitlab-13-7-5-released/ https://about.gitlab.com/releases/2021/01/22/gitlab-13-8-released/ https://about.gitlab.com/releases/2021/01/26/gitlab-13-8-1-released/

Commit 895d3b02 authored by François Bobot's avatar François Bobot Committed by Guillaume Melquiond
Browse files
Options

Add menhirLib to why3 META if needed

parent 669cb9f0
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 1 deletion
lib/why3/META.in
View file @ 895d3b02
......@@ -2,7 +2,7 @@ description = "Why3 library"
version = "@VERSION@"
archive(byte) = "why3.cma"
archive(native) = "why3.cmxa"
requires = "str unix num dynlink @ZIPLIB@"
requires = "str unix num dynlink @ZIPLIB@ @MENHIRLIB@"
package "extract" (
description = "Why3 support library for extracted code"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment