diff options
| author | Thibaut Pérami <thibaut.perami@ens.fr> | 2020-06-15 11:16:12 +0200 |
|---|---|---|
| committer | Thibaut Pérami <thibaut.perami@ens.fr> | 2020-06-15 11:16:12 +0200 |
| commit | b48b40e461f336df3afeb904d1f3c5324f4cd722 (patch) | |
| tree | d77688b97330d65c6e4266a24c1a51253f4191e8 /opam | |
| parent | ffea7a39c32a210a446379aeda0eabcec4918ed6 (diff) | |
| download | sail-riscv-b48b40e461f336df3afeb904d1f3c5324f4cd722.zip sail-riscv-b48b40e461f336df3afeb904d1f3c5324f4cd722.tar.gz sail-riscv-b48b40e461f336df3afeb904d1f3c5324f4cd722.tar.bz2 | |
Release version 0.50.5
Diffstat (limited to 'opam')
| -rw-r--r-- | opam | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ opam-version: "2.0" name: "sail-riscv" -version: "0.4" +version: "0.5" maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>" authors: [ "Alasdair Armstrong" |