Felix Buehler
ecdb35ffbc
pure-modules: rename name to pname&version
2022-02-01 18:45:50 +01:00
Ben Siraphob
2f78ee7e81
pkgs/development: stdenv.lib -> lib
2021-01-24 00:16:29 +07:00
Jonathan Ringer
9bb3fccb5b
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
...
continuation of #109595
pkgconfig was aliased in 2018, however, it remained in
all-packages.nix due to its wide usage. This cleans
up the remaining references to pkgs.pkgsconfig and
moves the entry to aliases.nix.
python3Packages.pkgconfig remained unchanged because
it's the canonical name of the upstream package
on pypi.
2021-01-19 01:16:25 -08:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Merijn Broeren
133103d709
treewide: replace make/build/configure/patchFlags with nix lists
2019-12-30 12:58:11 +01:00
Vladimír Čunát
22a216849b
Re-Revert "Merge branch 'staging-next'"
...
This reverts commit f8a8fc6c7c
.
2019-09-22 09:38:09 +02:00
Vladimír Čunát
f8a8fc6c7c
Revert "Merge branch 'staging-next'"
...
This reverts commit 41af38f372
, reversing
changes made to f0fec244ca
.
Let's delay this. We have some serious regressions.
2019-09-21 20:05:09 +02:00
Izorkin
329a88efa7
treewide: replace mysql.connector-c to libmysqlclient
2019-09-09 15:55:34 +03:00
volth
52f53c69ce
pkgs/*: remove unreferenced function arguments
2018-07-21 02:48:04 +00:00
Robin Gloster
572b2bda4e
treewide: generalise for both mysql & mariadb
2017-12-29 02:18:35 +01:00
Izorkin
4ef619dadd
mariadb: replace to connector-c
2017-12-29 02:18:35 +01:00
John Ericson
252b36a28d
misc pkgs: Recategorize some dependencies
2017-09-05 11:37:10 -04:00
Joachim Fasting
16769a6b4a
purePackages.glpk: fix build
...
Add gmp.dev to the include path to help glpk find gmp.h.
https://github.com/NixOS/nixpkgs/issues/18209
2016-09-10 17:41:19 +02:00
Vladimír Čunát
950feb70b2
treewide: fixup various mysql ocurrences after re-split
2016-08-07 20:46:37 +02:00
Alastair Pharo
47aeaf9d04
Fairly complete set of packages for Pure
2015-05-26 17:51:07 +10:00