summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Expand)AuthorAge
* Update HOL Light to version 2015-11-02Marco Maggesi2015-11-03
* R: advance to version 3.2.2.Karn Kallio2015-10-02
* Merge pull request #9917 from FlorentBecker/sagePeter Simons2015-09-30
|\
| * sage: 6.1.1 -> 6.8Florent Becker2015-09-22
* | hol_light: add support for camlp5 > 6.12Vincent Laporte2015-09-23
* | Merge: xlibs and x11 attribute cleanupVladimír Čunát2015-09-23
|\ \ | |/ |/|
| * xlibs: replace occurrences by xorgVladimír Čunát2015-09-15
| * x11: replace its usage by xlibsWrapper directlyVladimír Čunát2015-09-15
* | metis-prover: init at 2.3Gabriel Ebner2015-09-21
* | perseus: init at 4-betaErik Rybakken2015-09-19
* | Merge commit 'a6f6c0e' into master.upstreamWilliam A. Kennington III2015-09-15
|\ \ | |/ |/|
| * mass rewrite of find parameters to cross-platform styleVladimír Čunát2015-09-06
* | all-packages: Use callPackage where possibleMathnerd3142015-09-14
* | HOL Light: findlib is not necessary (nor actually used). Remove dependency.Marco Maggesi2015-09-13
* | coq: Add csdp dependencyRussell O'Connor2015-09-10
* | csdp: init at 6.1.1Russell O'Connor2015-09-10
* | Merge pull request #9752 from FRidh/maintainerDomen Kožar2015-09-09
|\ \
| * | add myself as maintainerFrederik Rietdijk2015-09-09
* | | nixpkgs/jonprl: minor touchupsAustin Seipp2015-09-09
|/ /
* / JonPRL: init at 0.1.0Brian McKenna2015-09-09
|/
* Update HOL Light to svn r244.Marco Maggesi2015-09-01
* Mark some packages with undownloadable source as brokenEelco Dolstra2015-09-01
* root: fix build by -lX11Vladimír Čunát2015-09-01
* Merge pull request #9583 from pjones/pkg/gedaArseniy Seroka2015-09-01
|\
| * geda: init at 1.8.2-20130925Peter Jones2015-08-31
* | qalculate-gtk: init at 0.9.7Gabriel Ebner2015-08-31
|/
* nixpkgs: saw-tools 0.1-20150609 -> 0.1.1-20150731Austin Seipp2015-08-30
* spyder: 2.2.5 -> 2.3.6Frederik Rietdijk2015-08-29
* Revert "Added K Framework package."Peter Simons2015-08-29
* veriT: 201410 -> 201506Gabriel Ebner2015-08-26
* nixpkgs: lean 20150328 -> 20150821Austin Seipp2015-08-21
* cbc: Enable on DarwinEelco Dolstra2015-08-19
* Add cbc, a mixed ILP solverEelco Dolstra2015-08-12
* ngspice: rename pkgname (s/ng-spice-rework/ngspice/)Bjørn Forsman2015-08-08
* E prover: 1.8 -> 1.9Michael Raskin2015-08-08
* Merge pull request #8908 from devhell/boinclethalman2015-07-30
|\
| * boinc: 7.4.14 -> 7.4.42devhell2015-07-28
* | Merge pull request #8964 from vbgl/ecmArseniy Seroka2015-07-26
|\ \
| * | ecm: 6.2.3 -> 6.4.4Vincent Laporte2015-07-23
* | | openmodelica: Fix runtime PATHs using wrapProgram, fixes #8949Sergey Mironov2015-07-23
* | | openmodelica: add expressionSergey Mironov2015-07-23
* | | lp_solve: add the expressionSergey Mironov2015-07-23
|/ /
* | kicad: fix download urls (ZHF)Luca Bruno2015-07-22
* | nixpkgs: verilator 3.872 -> 3.874Austin Seipp2015-07-20
|/
* Updating gtkwave 3.3.64 to 3.3.66Lluís Batlle i Rossell2015-07-17
* stellarium: build with qt5Full to fix run-time crashesPeter Simons2015-07-14
* stellarium: update to version 0.13.3Peter Simons2015-07-12
* caffe: init at rev 77d66dfcWilliam Casarin2015-07-08
* E prover: switch to the new locationMichael Raskin2015-07-05
* pari: update 2.7.3 -> 2.7.4Michael Raskin2015-07-05
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-13 18:06:20 +0000