coq-modules
|
coqPackages.coq-elpi: 1.9.3 -> 1.9.4
|
2021-03-17 21:54:53 +01:00 |
haskell-modules
|
haskellPackages.niv: Fix build
|
2021-03-20 13:38:26 +01:00 |
interpreters
|
trealla: init at 1.7.65
|
2021-03-20 14:20:19 +07:00 |
libraries
|
qtwebengine: switch to pure sandbox on darwin
|
2021-03-20 11:32:32 -04:00 |
mobile
|
Merge branch 'master' into staging-next
|
2021-03-18 13:35:59 +01:00 |
ocaml-modules
|
Merge master into staging-next
|
2021-03-19 18:17:01 +01:00 |
web
|
insomnia: 2021.1.0 -> 2021.1.1
|
2021-03-20 12:37:49 -04:00 |