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 cc-wrapper: make machine configuration configurable 2019-04-20 20:05:51 -04:00
arduino
beam-modules buildMix: fix bootstrapping packages with hyphens in version 2019-04-18 22:37:30 +03:00
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 [treewide] delete unused patches 2019-05-04 19:52:24 +02:00
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 idrisPackages.build-idris-package: Install binaries 2019-04-28 16:54:32 +02:00
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 Merge #60614: lua*Packages improvements 2019-05-12 10:01:48 +02:00
misc
mobile cocoapods-beta: 1.7.0.rc.1 -> 1.7.0.rc.2 2019-05-15 13:02:02 -07:00
node-packages nodePackages: regenerate 2019-05-10 17:34:34 -04:00
ocaml-modules Merge pull request #61081 from vbgl/ocaml-elpi-1.2.0 2019-05-11 22:55:55 +02:00
perl-modules [treewide] delete unused patches 2019-05-04 19:52:24 +02:00
pharo pharo: remove resource files 2019-04-16 22:33:13 -04:00
pure-modules
python-modules pythonPackages.weasyprint: init at 45 2019-05-22 11:16:50 +02:00
r-modules [treewide] delete unused patches 2019-05-04 19:52:24 +02:00
ruby-modules gem-config: add zlib 2019-05-08 17:46:03 +02:00
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