blob: 4818962b46e60e396033781d4feccde92faba75f (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
dafny (1.9.7-1) UNRELEASED; urgency=medium
* New upstream release.
-- Benjamin Barenblat <bbaren@mit.edu> Sun, 05 Jun 2016 14:47:52 -0400
dafny (1.9.5-1) unstable; urgency=medium
* Initial release.
-- Benjamin Barenblat <bbaren@mit.edu> Wed, 06 Apr 2016 16:48:37 -0400
|
