compilers
|
compcert: 3.3 -> 3.4
|
2018-09-17 18:36:31 +00:00 |
coq-modules
|
treewide: Use http/https for homepages
|
2018-09-08 18:30:00 +02:00 |
interpreters
|
php: add option to enable argon2
|
2018-09-17 19:02:16 +02:00 |
libraries
|
gtkspellmm: 3.0.4 -> 3.0.5
|
2018-09-18 03:17:35 +09:00 |
python-modules
|
pythonPackages.pgspecial: 1.8.0 -> 1.11.2
|
2018-09-18 14:00:59 +03:00 |
r-modules
|
git2r: add SSH support
|
2018-09-11 16:39:20 -04:00 |
ruby-modules
|
solargraph: 0.25.1 -> 0.27.1
|
2018-09-16 04:56:35 -04:00 |
tools
|
pgcli: 1.6.0 -> 1.10.3
|
2018-09-18 14:08:26 +03:00 |
web
|
postman: 6.2.5 -> 6.3.0 (#46771)
|
2018-09-17 11:45:27 +02:00 |