androidndk-pkgs
|
android-ndk: change to targetPrefix
|
2022-12-06 15:03:09 -06:00 |
compilers
|
go_1_18: 1.18.8 -> 1.18.9
|
2022-12-08 02:07:20 +10:00 |
coq-modules
|
coqPackages.VST: add support for Coq 8.16.1
|
2022-12-05 09:22:59 +01:00 |
embedded
|
jtag-remote-server: unstable-2022-06-09 -> 1.2
|
2022-12-07 01:24:00 +01:00 |
interpreters
|
erlang: don't relink escript on darwin
|
2022-12-07 21:13:02 -05:00 |
java-modules
|
jna: init at 4.5.2
|
2022-12-04 23:45:00 +01:00 |
ocaml-modules
|
ocamlPackages.core_unix: 0.15.0 → 0.15.2
|
2022-12-08 07:17:44 +01:00 |
python2-modules
|
python2Packages.numpy: remove
|
2022-12-03 22:50:20 -08:00 |
skaware-packages
|
skawarePackages: refactor
|
2022-12-03 13:01:31 -03:00 |