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