Thu Jun 01 18:17:40+0200 2017
05eb710
| name | last commit | date |
 binary.scm | Update angr and dependencies | Mon May 29 11:13:13+0200 2017 |
| boost.scm | Add aegisub | Thu Feb 23 13:32:08+0100 2017 |
| cdrom.scm | added virtualbox and dependencies (wip) | Tue Mar 07 23:45:49+0100 2017 |
| games.scm | Remove merged lugaru | Sat May 06 10:11:59+0200 2017 |
| gnuzilla.scm | Simplify icecat package. | Sun Apr 09 18:20:49+0200 2017 |
| google.scm | fix some packages | Tue Apr 11 08:50:49+0200 2017 |
| image.scm | Add gpick | Sun May 14 18:08:53+0200 2017 |
| java.scm | Work toward getting antlr4 | Tue May 16 15:56:27+0200 2017 |
| messaging.scm | Add libantlr3c | Mon Apr 24 16:52:13+0200 2017 |
| ocaml.scm | Add coq libraries | Thu Jun 01 18:17:40+0200 2017 |
| opencv.scm | Add opencv | Thu May 11 22:08:27+0200 2017 |
| python.scm | Update angr and dependencies | Mon May 29 11:13:13+0200 2017 |
| smt.scm | Update angr and dependencies | Mon May 29 11:13:13+0200 2017 |
| video.scm | Add aegisub | Thu Feb 23 13:32:08+0100 2017 |
| virtualbox.scm | added dependencies to virtualbox | Mon Mar 13 08:40:32+0100 2017 |