commit | e68b47fe7b9e963ec45edf3bf9d5a4cd81831e3c | [log] [tgz] |
---|---|---|
author | Tuncer Ayaz <tuncer.ayaz@gmail.com> | Wed Sep 19 17:47:49 2018 +0000 |
committer | Tuncer Ayaz <tuncer.ayaz@gmail.com> | Wed Sep 19 17:47:49 2018 +0000 |
tree | 22918067eb303ab9342ca7507b83b6af1351b863 | |
parent | 2b519050119259afdf54ec244424c1a24a642906 [diff] |
Prepare 1.3.0
diff --git a/src/triq.app.src b/src/triq.app.src index 425fb46..2e5e832 100644 --- a/src/triq.app.src +++ b/src/triq.app.src
@@ -1,6 +1,6 @@ {application, triq, [{description, "Triq (Term Reductive Invariant Questant) QuickCheck"}, - {vsn, "1.2.0"}, + {vsn, "1.3.0"}, {registered,[]}, {applications, [kernel,stdlib]}, {build_dependencies, []},