From fd43c469279dd2ff69b49ed091e172274e44fc67 Mon Sep 17 00:00:00 2001 From: Kaustuv Chaudhuri Date: Tue, 9 Apr 2024 12:51:59 +0200 Subject: [PATCH] chore: resume 2.1.0-dev --- CHANGES.md | 8 +++----- abella.opam | 2 +- dune-project | 2 +- src/version.ml | 2 +- support/package-lock.json | 4 ++-- support/package.json | 2 +- 6 files changed, 9 insertions(+), 11 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index 65965c1f..9880d4b4 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,14 +1,12 @@ -Changes in 2.0.8.2 from 2.0.8 +Changes in 2.1.0-dev from 2.0.8 ------------------------------- -This is a very small bugfix release. - Changes * Abella now compiles with Dune version 3.7 or later. (#154, reported by @yurivict) -* Abella is now byte-compiled for ppc32 and ppc64. - (#153, reporeted by @barracuda156) +* Abella is now byte-compiled for ppc32 and ppc64. + (#151, reporeted by @barracuda156) Bugfixes diff --git a/abella.opam b/abella.opam index 9e7ec3f3..1c33ec39 100644 --- a/abella.opam +++ b/abella.opam @@ -1,6 +1,6 @@ opam-version: "2.0" name: "abella" -version: "2.0.8.2" +version: "2.1.0-dev" synopsis: "Interactive theorem prover based on lambda-tree syntax" maintainer: "kaustuv@chaudhuri.info" authors: [ diff --git a/dune-project b/dune-project index 5f1fc305..be80c2ae 100644 --- a/dune-project +++ b/dune-project @@ -1,4 +1,4 @@ (lang dune 3.7) (name abella) -(version v2.0.8.2) +(version v2.1.0-dev) (using menhir 2.0) diff --git a/src/version.ml b/src/version.ml index 53c5f77f..780d341e 100644 --- a/src/version.ml +++ b/src/version.ml @@ -5,5 +5,5 @@ * See LICENSE for licensing details. *) -let version = "2.0.8.2";; +let version = "2.1.0-dev";; let self_digest = Digest.file Sys.executable_name;; diff --git a/support/package-lock.json b/support/package-lock.json index 547804f1..f8f25428 100644 --- a/support/package-lock.json +++ b/support/package-lock.json @@ -1,12 +1,12 @@ { "name": "abella_doc_lib", - "version": "2.0.8.2", + "version": "2.1.0-dev", "lockfileVersion": 3, "requires": true, "packages": { "": { "name": "abella_doc_lib", - "version": "2.0.8.2", + "version": "2.1.0-dev", "license": "GPL-3", "dependencies": { "@fancyapps/ui": "^5.0.24" diff --git a/support/package.json b/support/package.json index 2c1c9b2e..3207535a 100644 --- a/support/package.json +++ b/support/package.json @@ -1,6 +1,6 @@ { "name": "abella_doc_lib", - "version": "2.0.8.2", + "version": "2.1.0-dev", "description": "Support code for abella_doc (https://abella-prover.org)", "main": "./js/abella_doc.js", "scripts": {