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 |
|
zimbatm
|
17348dc094
|
Remove all dots at end of descriptions
Specially crafted for @JagaJaga
find pkgs -name "*.nix" -exec \
sed -e 's|\(description.*\)\.";|\1";|g' -i {} \;
|
2016-02-27 17:30:29 +00:00 |
|
Nikolay Amiantov
|
8821ebe3ad
|
remove gmcs substitutes from mono packages
|
2016-02-04 03:51:47 +03:00 |
|
Ricardo M. Correia
|
097c82f6c5
|
fstar: init at 2016-01-12
|
2016-01-19 01:46:30 +01:00 |
|
karsten gebbert
|
5b9de55c26
|
fsharp: 3.1.2.5 -> 4.0.0.4
|
2015-11-11 10:54:10 +01:00 |
|
Demin Dmitriy
|
f67184e9a9
|
dotnet Mono.Addins: init at 1.2
|
2015-10-29 06:02:03 +03:00 |
|
Pascal Wittmann
|
512225ef81
|
Fixed some descriptions
|
2015-06-29 16:20:58 +02:00 |
|
obadz
|
33e0dbbc4b
|
dotnet: package Projekt
|
2015-06-23 23:12:29 +01:00 |
|
obadz
|
e45788993b
|
dotnet: FSharp.Compiler.Service 0.0.89 -> 0.0.90
|
2015-06-23 23:12:29 +01:00 |
|
obadz
|
0092d04d25
|
dotnet: package Deedle 1.2.0
|
2015-06-23 23:12:29 +01:00 |
|