Skip to content
Snippets Groups Projects
Commit 48d43be5 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Set beta

parent 1c7a48ab
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
VERSION
+ 1
− 1
View file @ 48d43be5
27.0 27.0~beta
opam
+ 2
− 2
View file @ 48d43be5
opam-version: "2.0" opam-version: "2.0"
name: "frama-c" name: "frama-c"
synopsis: "Platform dedicated to the analysis of source code written in C" synopsis: "Platform dedicated to the analysis of source code written in C"
version: "27.0" version: "27.0~beta"
description:""" description:"""
Frama-C gathers several analysis techniques in a single collaborative Frama-C gathers several analysis techniques in a single collaborative
framework, based on analyzers (called "plug-ins") that can build upon the framework, based on analyzers (called "plug-ins") that can build upon the
...@@ -70,7 +70,7 @@ authors: [ ...@@ -70,7 +70,7 @@ authors: [
homepage: "https://frama-c.com/" homepage: "https://frama-c.com/"
license: "LGPL-2.1-only" license: "LGPL-2.1-only"
dev-repo: "git+https://git.frama-c.com/pub/frama-c.git" dev-repo: "git+https://git.frama-c.com/pub/frama-c.git"
doc: "http://frama-c.com/download/user-manual-27.0-Cobalt.pdf" doc: "http://frama-c.com/download/user-manual-27.0-beta-Cobalt.pdf"
bug-reports: "https://git.frama-c.com/pub/frama-c/issues" bug-reports: "https://git.frama-c.com/pub/frama-c/issues"
tags: [ tags: [
"deductive" "deductive"
......
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