Commit graph

65 commits

Author SHA1 Message Date
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:
e6754980264fe927320d5ff2dbd24ca4fac9a160
1e9cc5b9844ef603fe160e9f671178f96200774f
793a2fe1e8bb886ca2096c5904e1193dc3268b6d
c19cf65261639f749012454932a532aa7c681e4b
f6544d618f30fae0bc4798c4387a8c7c9c047a7c
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 () 2018-10-31 21:04:31 +01:00
Bob van der Linden
76001b8509 Deedle: 1.2.0 -> 1.2.5 () 2018-09-15 16:18:29 +02:00
Bob van der Linden
6a4b9dfa2f Paket: 1.18.2 -> 5.179.1 () 2018-09-15 16:02:55 +02:00
Bob van der Linden
fb11065050 Newtonsoft.Json: 6.0.8 -> 11.0.2 () 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 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, ) 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