From b914877aac26171978826e6a7c9022a89d30bf62 Mon Sep 17 00:00:00 2001 From: Sven Keidel Date: Thu, 7 Mar 2019 10:27:09 +0100 Subject: [PATCH] release sturdy 0.2.0.0 --- lib/package.yaml | 4 ++-- pcf/package.yaml | 2 +- stratego/package.yaml | 2 +- while/package.yaml | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/lib/package.yaml b/lib/package.yaml index f352610d..f9472661 100644 --- a/lib/package.yaml +++ b/lib/package.yaml @@ -1,6 +1,6 @@ name: sturdy-lib -version: 0.1.0.0 -synopsis: A library for creating sound static analyses +version: 0.2.0.0 +synopsis: A library for sound static analyses maintainer: Sven Keidel license: BSD3 github: svenkeidel/sturdy diff --git a/pcf/package.yaml b/pcf/package.yaml index 0ccb1c9f..8132b21c 100644 --- a/pcf/package.yaml +++ b/pcf/package.yaml @@ -1,5 +1,5 @@ name: sturdy-pcf -version: 0.1.0.0 +version: 0.2.0.0 license: BSD3 maintainer: Sven Keidel category: Language diff --git a/stratego/package.yaml b/stratego/package.yaml index 0c19229a..2806157a 100644 --- a/stratego/package.yaml +++ b/stratego/package.yaml @@ -1,5 +1,5 @@ name: sturdy-stratego -version: 0.1.0.0 +version: 0.2.0.0 license: BSD3 maintainer: Sven Keidel category: Language diff --git a/while/package.yaml b/while/package.yaml index 8bd3fb1d..91ed0db4 100644 --- a/while/package.yaml +++ b/while/package.yaml @@ -1,5 +1,5 @@ name: sturdy-while -version: 0.1.0.0 +version: 0.2.0.0 license: BSD3 maintainer: Sven Keidel category: Language -- GitLab