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
obadz
3e6d95fc2a
dotnet: FSharp.Data 2.2.2 -> 2.2.3
2015-06-23 23:11:50 +01:00
obadz
9c205124e4
dotnet: package ExcelDna 0.32.0 + ExcelDna.Registration
2015-06-23 23:11:50 +01:00
obadz
14dcf50cb1
dotnet: package MathNet.Numerics 3.7.0
2015-06-23 23:11:08 +01:00
obadz
58418eaa67
dotnet: FSharp.AutoComplete 0.16.0 -> 0.18.2
2015-06-23 23:11:08 +01:00
obadz
24bb5d1a94
dotnet: Paket 1.6.2 -> 1.18.2
2015-06-23 23:11:08 +01:00
Luca Bruno
5c8a993a42
fetchnuget: run fixupPhase to honor propagatedBuildInputs
2015-06-12 17:13:21 +02:00
Luca Bruno
90f0bb83c3
dotnet: Add FSharpDataSQLProvider, FsPickler and Suave
2015-06-12 17:06:45 +02:00
obadz
d4681bf626
Lay down the foundation for packaging the .NET echosystem
...
- fetchNuGet can fetch binaries from nuget servers
- buildDotnetPackage can build .NET packages using mono/xbuild
- Places nuget & paket as they would clash with nix
- Patch project files because F# targets are expected to be found in
the mono directory (and we know that's not going to happen on nix)
- Find DLLs that were copied from buildInputs and replace by symlink
for sharing
- Export produced DLL via the pkg-config mechanism
- Create wrappers for produced EXEs
- Repackaged this new infrastructure: keepass, monodevelop
- Newly packaged: ExtCore, UnionArgParser, FSharp.Data, Paket, and a
bunch more..
This is a combination of 73 commits.
2015-06-06 09:06:22 -04:00
