1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-25 03:17:13 +00:00
nixpkgs/pkgs/development
R. RyanTM 3e865ed711 kore: 2.0.0 -> 3.3.0 (#61846)
* kore: 2.0.0 -> 3.3.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/kore/versions

* kore: minor cleanup
postPatch sed removed because it is not making
any change on v3.3.0 sources
2019-05-22 14:58:06 +02:00
..
androidndk-pkgs
arduino
beam-modules
bower-modules/generic
compilers Merge pull request #61658 from tohl/mkcl 2019-05-21 13:04:12 +00:00
coq-modules several fixes in coq and coqPackages.mathcomp (and extras) 2019-05-21 08:55:38 +02:00
dhall-modules
dotnet-modules/patches
em-modules/generic
go-modules
go-packages
guile-modules guile-lib: 0.2.2 -> 0.2.6.1 (#60978) 2019-05-18 19:07:56 +02:00
haskell-modules haskell-tasty-hedgehog: current versions need hedgehog 1.x or later 2019-05-18 12:58:02 +02:00
idris-modules
interpreters Merge pull request #61802 from r-ryantm/auto-update/elixir 2019-05-22 05:30:16 -07:00
java-modules
libraries Merge pull request #61687 from erictapen/opensc-cross-fix 2019-05-22 12:51:49 +03:00
lisp-modules
lua-modules
misc
mobile
node-packages
ocaml-modules
perl-modules
pharo
pure-modules
python-modules pythonPackages.weasyprint: init at 45 2019-05-22 11:16:50 +02:00
r-modules
ruby-modules
tools Merge pull request #61808 from mmahut/indent 2019-05-21 18:13:19 -05:00
web kore: 2.0.0 -> 3.3.0 (#61846) 2019-05-22 14:58:06 +02:00