]>
git.pld-linux.org Git - packages/why3.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Jan Rękorajski [Sat, 20 Nov 2021 22:08:10 +0000 (23:08 +0100)]
rebuild with separate debuginfo build-ids
Release 3 (by relup.sh)
Jan Rękorajski [Mon, 29 Mar 2021 20:47:40 +0000 (22:47 +0200)]
- filter out private deps
- rel 2
Jan Rękorajski [Mon, 29 Mar 2021 19:25:08 +0000 (21:25 +0200)]
- follow ocaml-zarith builds
Jan Rękorajski [Mon, 29 Mar 2021 19:23:24 +0000 (21:23 +0200)]
- up to 1.4.0
Jan Rękorajski [Tue, 6 Jun 2017 17:22:17 +0000 (19:22 +0200)]
- updated files
- rel 1
Jan Rękorajski [Tue, 6 Jun 2017 07:21:32 +0000 (09:21 +0200)]
- up to 0.87.3
Jan Rękorajski [Mon, 5 Jun 2017 12:42:24 +0000 (14:42 +0200)]
- rebuild with ocaml 4.04.1
- release 6 (by relup.sh)
Jan Rękorajski [Mon, 21 Mar 2016 15:37:29 +0000 (16:37 +0100)]
- release 5 (by relup.sh)
Jan Rękorajski [Sun, 26 Jul 2015 07:31:58 +0000 (09:31 +0200)]
- release 4 (by relup.sh)
Jan Rękorajski [Sun, 16 Nov 2014 08:14:02 +0000 (09:14 +0100)]
- rebuild with ocaml 4.02
- release 3 (by relup.sh)
Jan Rękorajski [Tue, 6 May 2014 12:31:02 +0000 (14:31 +0200)]
- fixed scripts permissions
- rel 2
Jan Rękorajski [Wed, 30 Apr 2014 17:53:04 +0000 (19:53 +0200)]
- updated to 0.83
Jan Rękorajski [Thu, 16 May 2013 12:06:14 +0000 (14:06 +0200)]
- package examples
- rel 2
Jan Rękorajski [Tue, 14 May 2013 11:49:20 +0000 (13:49 +0200)]
- drop (x)emacs BRs
Jan Rękorajski [Tue, 14 May 2013 11:37:33 +0000 (13:37 +0200)]
- updated BRs
Jan Rękorajski [Tue, 14 May 2013 11:35:41 +0000 (13:35 +0200)]
- new
This page took 0.082309 seconds and 4 git commands to generate.
projects / packages / why3.git / log