coq-modules
|
coqPackages.bignums: enable for Coq 8.11
|
2020-02-07 10:26:26 +01:00 |
interpreters
|
joker: 0.14.0 -> 0.14.1
|
2020-02-08 10:07:45 +00:00 |
libraries
|
wcslib: 6.4 -> 7.1
|
2020-02-09 09:58:30 +01:00 |
lisp-modules
|
lispPackages.cl-store: fix build
|
2020-02-04 17:22:12 +01:00 |
misc
|
h3: 3.6.2 -> 3.6.3 (#79438)
|
2020-02-07 11:04:37 -08:00 |
mobile
|
cocoapods-beta: 1.9.0.beta.2 -> 1.9.0.beta.3
|
2020-02-07 16:25:53 -08:00 |
node-packages
|
nodePackages: update set
|
2020-02-07 08:24:16 -05:00 |
python-modules
|
python27Packages.apprise: 0.8.3 -> 0.8.4
|
2020-02-09 09:44:48 +01:00 |
tools
|
asn2quickder: 1.2-6 -> 1.3.0
|
2020-02-09 09:50:48 +01:00 |
web
|
Merge pull request #79291 from chkno/remove-isArm
|
2020-02-08 09:57:30 -05:00 |