coq-modules
|
coqPackages.corn: 8.8.1 → 8.12.0
|
2021-01-28 10:28:51 +01:00 |
interpreters
|
gauche: mark broken on darwin
|
2021-02-02 14:46:05 +01:00 |
libraries
|
libav: mark as insecure
|
2021-02-02 17:26:34 +01:00 |
misc
|
yelp-tools: clean up
|
2021-02-01 20:18:04 +01:00 |
mobile
|
treewide: xdg_utils -> xdg-utils
|
2021-02-01 15:05:09 +07:00 |
node-packages
|
treewide: update permanent url redirects
|
2021-01-30 21:48:57 +01:00 |
tools
|
sbt-extras: 2020-12-26 → 2021-02-01
|
2021-02-02 11:07:23 -05:00 |
web
|
treewide: update permanent url redirects
|
2021-01-30 21:48:57 +01:00 |