Skip to content
Snippets Groups Projects
Commit 0e936447 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

update version for master branch

parent 5a0846c1
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 @ 0e936447
21.0-beta 21.0+dev
opam/opam
+ 2
− 2
View file @ 0e936447
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: "20.0" version: "21.0+dev"
maintainer: "francois.bobot@cea.fr" maintainer: "francois.bobot@cea.fr"
authors: [ authors: [
"Michele Alberti" "Michele Alberti"
...@@ -50,7 +50,7 @@ authors: [ ...@@ -50,7 +50,7 @@ authors: [
homepage: "http://frama-c.com/" homepage: "http://frama-c.com/"
license: "GNU Lesser General Public License version 2.1" license: "GNU Lesser General Public License version 2.1"
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-20.0-Calcium.pdf" doc: "http://frama-c.com/download/user-manual-21.0-Scandium.pdf"
bug-reports: "https://bts.frama-c.com/" bug-reports: "https://bts.frama-c.com/"
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