alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
275535 commits 217 branches 121 tags 4.5 GiB
Commit graph

67 commits

Author SHA1 Message Date
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
Profpatsch 2497553b23 toplevel: stdenv.lib -> lib 
The library does not depend on stdenv, that `stdenv` exposes `lib` is
an artifact of the ancient origins of nixpkgs.
 2021-01-10 17:44:59 +01:00
Guillaume Maudoux 7b7efa47e7 dafny: use pinned z3 in the full closure 2020-10-24 22:24:40 +02:00
Guillaume Maudoux 7769e32006 dafny: pin z3 and Boogie version 2020-10-24 17:04:15 +02:00
Pierre Bourdon 8dd26c6d85
dotnetPackages.FSharpAutoComplete: add missing glib dependency 2020-06-14 12:53:38 +02:00
Michael Reilly 84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Linus Heckemann 5aa4b19946 treewide: mark some broken packages as broken 
Refs:
e675498026
1e9cc5b984
793a2fe1e8
c19cf65261
f6544d618f
 2019-10-08 17:14:26 +02:00
volth 08f68313a4 treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
Jiri Danek e57b145a81
fsharp41: 4.1.7 -> 4.1.34; mono = mono6 2019-08-08 00:17:40 +02:00
Jiri Danek 4e71b7ca93 dotnetPackages.Nuget: 3.4.3 -> 4.9.1 2019-08-07 23:58:39 +02:00
Guillaume Maudoux 514415dede dafny: 2.1.0 -> 2.3.0 2019-06-20 17:15:27 +02:00
Daniel Schaefer bac4d95aa2 treewide: Change URLs to HTTPS 
Lots of URLs were HTTP redirect to HTTPS. Changed those and checked them
if there's actual content. Inspired by
https://github.com/NixOS/nixpkgs/issues/60004
 2019-04-22 10:19:54 +02:00
Vincent Laporte 014196b7db dotnetPackages.FsLexYaccRuntime: init at 6.1.0 2019-04-05 20:05:49 +02:00
Tristan Helmich 40ae90c9e4 dotnetPackages.SharpFont: 3.1.0 -> 4.0.1 (#49545) 2018-10-31 21:04:31 +01:00
Bob van der Linden 76001b8509 Deedle: 1.2.0 -> 1.2.5 (#46702) 2018-09-15 16:18:29 +02:00
Bob van der Linden 6a4b9dfa2f Paket: 1.18.2 -> 5.179.1 (#46701) 2018-09-15 16:02:55 +02:00
Bob van der Linden fb11065050 Newtonsoft.Json: 6.0.8 -> 11.0.2 (#46679) 2018-09-15 01:49:57 +02:00
volth 52f53c69ce pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
xeji af14718392
Merge pull request #40612 from symphorien/boogie_vim 
boogie: enable usage as a vim plugin
 2018-05-29 19:58:20 +02:00
Guillaume Maudoux c8cb9a92d4 dotnetPackages.Boogie: 2017-01-03 -> 2018-05-28 2018-05-28 13:13:51 +02:00
Guillaume Maudoux 9a76a33e35 dotnetPackages.Boogie: use a recent NUnit 2018-05-28 13:13:51 +02:00
Symphorien Gibol 0bfa4e8195 boogie: enable usage as a vim plugin 2018-05-03 13:52:41 +02:00
Dan Peebles 8e0e8e57f8 dotnetPackages.Nuget: fix binary casing issue 
Didn't notice the first time around because macOS isn't case-sensitive
by default, but on Linux the build failed to produce a wrapper script.
 2018-03-08 21:09:02 +00:00
Cody Yu a47adc152e Upgrade Nuget version from 2.8.5 to 3.4.3 2018-03-08 13:24:24 -05:00
Guillaume Maudoux e565dd8f2c dafny: 1.9.8 -> 2.1.0 2018-01-31 13:52:43 +01:00
Samuel Dionne-Riel 7b97c8c0c8 treewide: homepage+src updates (found by repology, #33263) 2018-01-05 20:42:46 +01:00
Orivej Desh f82b44106c dotnetPackages.SmartIrc4net: rehash source 
The only change is in the package metadata.
 2017-11-21 18:24:06 +00:00
mimadrid 09e0cc7cc7
Update homepage attributes: http -> https 
Homepage link "http://.../" is a permanent redirect to "https://.../" and should be updated
https://repology.org/repository/nix_stable/problems
 2017-08-03 11:56:15 +02:00
Roman Kuznetsov a0466f7f22 fsharp: 4.0.1.1 -> 4.1.7 
Build F# with default mono version

Introduce separate fsharp41 packages
 2017-04-17 10:39:38 +02:00
Guillaume Maudoux f7b7d8e7b5 dafny: fix meta attribute 2017-02-07 11:35:10 +01:00
Guillaume Maudoux aeaf893e57 dafny: init at v1.9.8 2017-02-07 10:13:42 +01:00
Guillaume Maudoux ccb2d83980 boogie: fix basename issues; promote to package 2017-02-06 22:50:05 +01:00
Remy Goldschmidt d1aa065a5d dotnetPackages.Boogie: init at 2017-01-03 2017-02-04 15:27:18 +01:00
Andrew Cann 40cab6182c OpenNAT: init at 2.1.0 2016-10-29 13:28:24 +08:00
Kirill Boltaev bccd75094f treewide: explicitly specify gtk and related package versions 2016-09-12 18:26:06 +03:00
obadz b0e11652f4 dotnetPackages.GitVersionTree: init at 2013-10-01 2016-08-19 18:28:03 +01:00
Ricardo Ardissone 8e85f56849 dotnetPackages.MonoNat: 1.2.21 -> 1.2.24 2016-05-08 17:21:55 -03:00
Ricardo Ardissone 369515596d dotnetPackages.SharpFont: 3.0.1 -> 3.1.0 2016-05-08 17:21:54 -03:00
Ricardo Ardissone f0152c64e6 dotnetPackages.NUnitConsole: init at 3.0.1 2016-05-08 17:21:38 -03:00
Ricardo Ardissone b8995ac668 dotnetPackages.NUnit3: init at 3.0.1 2016-05-08 17:21:34 -03:00
Ricardo Ardissone 50970f4ccf dotnetPackages.RestSharp: init at 105.2.3 2016-04-29 15:55:36 -03:00
Ricardo Ardissone ffe7da184e dotnetPackages.StyleCopPlusMSBuild: init at 4.7.49.5 2016-04-29 15:55:36 -03:00
Ricardo Ardissone 6e68a6cf81 dotnetPackages.StyleCopMSBuild: init at 4.7.49.0 2016-04-29 15:55:35 -03:00
Ricardo Ardissone 07ecef52b7 dotnetPackages.SharpFont: init at 3.0.1 2016-04-29 15:55:28 -03:00
Ricardo Ardissone 5c58471ff4 dotnetPackages.MonoNat: init at 1.2.21 2016-04-29 13:26:00 -03:00
Ricardo Ardissone 87993420ca dotnetPackages.FuzzyLogicLibrary: init at 1.2.0 2016-04-29 13:25:39 -03:00
Ricardo Ardissone 65ce3f91c3 dotnetPackages.SmartIrc4net: init at 0.4.5.1 2016-04-29 13:25:12 -03:00
Ricardo Ardissone b61a6dd70a dotnetPackages.SharpZipLib: init at 0.86.0 2016-04-29 13:24:51 -03:00
Ricardo Ardissone a1fd742491 dotnetPackages.MaxMindGeoIP2: init at 2.3.1 2016-04-29 13:24:26 -03:00
Ricardo Ardissone 540104dd5e dotnetPackages.MaxMindDb: init at 1.1.0.0 2016-04-29 13:23:36 -03:00