about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2014-08-24Fix many package descriptionsBjørn Forsman15-15/+15
2014-08-22Fix various evaluation problemsEelco Dolstra2-0/+4
2014-08-19ssreflect: 1.4 -> 1.5John Wiegley1-3/+3
2014-08-16coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590John Wiegley1-3/+3
2014-08-14Add application for scientific data analysis: fitykThomas Strobel1-0/+23
2014-08-12Allow optional functionality in SimGridMichael Raskin1-10/+17
2014-08-12Update SimGridMichael Raskin1-5/+7
2014-08-12Update and fix LEO2 proverMichael Raskin2-10/+18
2014-08-08Add an expression for building Coq HEADJohn Wiegley1-0/+57
2014-08-08Merge 'staging' into masterVladimír Čunát2-5/+5
2014-08-08Mark a bunch of packages as broken or not supported on DarwinEelco Dolstra4-7/+6
2014-08-08Merge remote-tracking branch 'origin/master' into staging.Peter Simons1-6/+6
2014-08-07haskell-sloane: update to version 1.9.1Peter Simons1-6/+6
2014-08-04Merge remote-tracking branch 'origin/master' into staging.Peter Simons31-67/+64
2014-07-28Fix broken license references.Peter Simons6-35/+38
2014-07-28singular: cosmetic fix for syntax highlightingPeter Simons1-1/+1
2014-07-28Turn some license strings into lib.licenses valuesMateusz Kowalczyk31-37/+31
2014-07-28Merge remote-tracking branch 'origin/master' into stagingEelco Dolstra1-0/+1
2014-07-22arb: Mark as brokenEelco Dolstra1-0/+1
2014-07-22Don't use ensureDirEelco Dolstra1-4/+4
2014-07-15Merge remote-tracking branch 'origin/master' into stagingEelco Dolstra1-0/+2
2014-07-14Re-generate Haskell packages with cabal2nix.Peter Simons1-0/+2
2014-07-07Merge remote-tracking branch 'origin/master' into stagingEelco Dolstra2-8/+8
2014-07-04Update boincMichael Raskin1-3/+3
2014-07-04haskell-sloane: update to version 1.8.2Peter Simons1-5/+5
2014-07-01Merge remote-tracking branch 'origin/master' into stagingEelco Dolstra4-4/+50
2014-06-30Another attempt to eradicate ensureDirEelco Dolstra1-1/+1
2014-06-28fetchbzr, fetchdarcs, fetchhg: use `rev` attrBenno Fünfstück3-4/+4
2014-06-27twelf: Fix the source URLJohn Wiegley1-1/+1
2014-06-26twelf: new expression; prover for PL theory and logicJohn Wiegley1-0/+46
2014-06-13haskell-sloane: update to version 1.8Peter Simons1-4/+4
2014-06-10verifast: 14.5, x86_64 linux onlyAustin Seipp1-14/+10
2014-06-08prooftree: new expression 0.12John Wiegley1-0/+40
2014-05-31pulseview: new packageBjørn Forsman1-0/+24
2014-05-18berlios.de probably shut down, replace itVladimír Čunát1-3/+3
2014-05-17Merge pull request #2680 from ellis/libR.soAustin Seipp1-0/+1
2014-05-17Merge pull request #2514 from jwiegley/coqAustin Seipp1-1/+1
2014-05-17R: install lib/libR.so for use by other programs such as RStudioEllis Whitehead1-0/+1
2014-05-17nixpkgs: add abc version 040509Austin Seipp1-0/+27
2014-05-12Bump coq version to 8.4pl4.Russell O'Connor1-2/+2
2014-05-07tkgate: rewrite expressions to get along without the broken 'libiconvOrLibc' ...Peter Simons2-11/+15
2014-05-05Make Coq buildable on any UnixJohn Wiegley1-1/+1
2014-05-04R: don't restrict meta.platforms to Linux; other architectures should build finePeter Simons1-1/+1
2014-05-04R: don't install the "recommended packages"Peter Simons1-0/+2
2014-05-03Update TPTP and make URL set robust to moving old versions to archiveMichael Raskin1-4/+8
2014-05-01z3/verifast: update licenseAustin Seipp2-2/+2
2014-05-01haskell-sloane: update to version 1.7.1Peter Simons1-2/+2
2014-05-01nixpkgs: add alt-ergo 0.95.2Austin Seipp1-0/+23
2014-05-01nixpkgs: add why3 0.83Austin Seipp1-0/+22
2014-05-01nixpkgs: add ltl2ba 1.1Austin Seipp1-0/+24
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-16 16:34:14 +0000