Skip to content

Commit 6def7fd

Browse files
lou1306lou1306
committed
Update version
1 parent e03c61b commit 6def7fd

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

‎README.txt‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11

2-
SLiVER 4.0-230410
3-
10 April 2023
2+
SLiVER 4.0-230417
3+
18 April 2023
44

55
The SLiVER LAbS VERification tool
66

‎sliver/app/__about__.py‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,5 +6,5 @@
66
__summary__ = "The SLiVER LAbS VERification tool"
77
__uri__ = "https://github.com/labs-lang/sliver"
88

9-
__version__ = "4.0-230410"
10-
__date__ = "10 April 2023"
9+
__version__ = "4.0-230418"
10+
__date__ = "18 April 2023"

0 commit comments

Comments
 (0)