diff options
| author | Robert Norton | 2020-01-30 16:42:06 +0000 |
|---|---|---|
| committer | Robert Norton | 2020-01-30 16:51:40 +0000 |
| commit | 519424cba29c7c356fc098256092979aea7f417f (patch) | |
| tree | d1772a2cc2d7d07540ce34f25bbcbb0234cc891e /opam | |
| parent | a575c001b724e85eebe5da857ca38390be1cfbfb (diff) | |
Bump opam version for release.
Diffstat (limited to 'opam')
| -rw-r--r-- | opam | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ opam-version: "1.2" name: "sail" -version: "0.11" +version: "0.12" maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>" authors: [ "Alasdair Armstrong" |