about summary refs log tree commit diff
path: root/pkgs/applications/science
AgeCommit message (Expand)AuthorFilesLines
2017-08-20Merge pull request #28377 from Ma27/update/geogebraJoachim F1-3/+10
2017-08-20Merge pull request #28320 from rybern/add-poretoolsFrederik Rietdijk1-0/+23
2017-08-20open-wbo: init at 2.0Gabriel Ebner1-0/+27
2017-08-19lean2: 2016-11-29 -> 2017-07-22Gabriel Ebner1-3/+3
2017-08-18geogebra: fallback to web.archive.orgMaximilian Bosch1-1/+8
2017-08-18geogebra: 5-0-377-0 -> 5-0-382-0Maximilian Bosch1-2/+2
2017-08-18poretools: version number to commit dateRyan Bernstein1-1/+1
2017-08-17acgtk: fix homepage urlMatthew Bauer1-1/+1
2017-08-17caneda: use caneda.org for homepageMatthew Bauer1-1/+1
2017-08-17use https://github.com for all homepagesMatthew Bauer2-2/+2
2017-08-17poretools: init at 0.6.0Ryan Bernstein1-0/+23
2017-08-13Merge pull request #27440 from mnacamura/mathematica11_fix_ldpathFrederik Rietdijk1-0/+7
2017-08-13Merge pull request #28211 from mimadrid/update/samtools-1.5.0Frederik Rietdijk2-4/+4
2017-08-13Merge pull request #28062 from lsix/update_motu-clientFrederik Rietdijk1-3/+3
2017-08-13Merge pull request #28229 from jpierre03/pr-alt-ergoFrederik Rietdijk1-1/+1
2017-08-13Merge pull request #27881 from mimadrid/fix/http-httpsFrederik Rietdijk1-1/+1
2017-08-13Merge commit '4c49205' into HEADFrederik Rietdijk1-1/+1
2017-08-13alt-ergo: use https instead of http to fetch archiveJean-Pierre PRUNARET1-2/+2
2017-08-13bcftools: 1.4.0 -> 1.5.0mimadrid1-2/+2
2017-08-13samtools: 1.4.0 -> 1.5.0mimadrid1-2/+2
2017-08-12yices: 2.5.1 -> 2.5.2Will Dietz1-3/+3
2017-08-11Gwyddion: init at 2.48pe@pijul.org1-0/+31
2017-08-09motu-client: 1.0.8 -> 1.4.0Lancelot SIX1-3/+3
2017-08-07replace "Mac OS X" and "OS X" with "macOS"davidak1-1/+1
2017-08-05maxima: 5.39.0 -> 5.40.0Vincent Laporte1-2/+2
2017-08-04coq: adding myself to the maintainersThéo Zimmermann1-1/+1
2017-08-04coq: use camlp5_strictThéo Zimmermann1-1/+1
2017-08-04coq: 8.6 -> 8.6.1Théo Zimmermann1-1/+2
2017-08-03Update homepage attributes: http -> httpsmimadrid1-1/+1
2017-08-01pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger50-50/+50
2017-08-01Merge pull request #27844 from mimadrid/update/igv-2.3.98Frederik Rietdijk1-2/+2
2017-08-01Merge pull request #27006 from Infinisil/scytherFrederik Rietdijk2-0/+111
2017-08-01igv: 2.3.89 -> 2.3.98mimadrid1-2/+2
2017-08-01coq2html: New expressionJohn Wiegley1-0/+38
2017-08-01Merge pull request #27816 from mimadrid/update/calc-2.12.6.1Frederik Rietdijk1-3/+3
2017-07-31calc: 2.12.5.3 -> 2.12.6.1mimadrid1-3/+3
2017-07-31libqalculate, qalculate-gtk: 0.9.9 -> 1.0.0Gabriel Ebner1-2/+8
2017-07-29verilator: build with current flexFranz Pletz1-2/+2
2017-07-26geogebra: 5-0-369-0 -> 5-0-377-0Maximilian Bosch1-2/+2
2017-07-24cryptominisat: use new xxd package instead of vimPeter Hoeg1-9/+8
2017-07-23scyther: Separated into two derivationsSilvan Mosberger2-61/+90
2017-07-20Revert "coq2html: New expression"Franz Pletz1-38/+0
2017-07-20coq2html: New expressionJohn Wiegley1-0/+38
2017-07-19Add missing 'math'Mitsuhiro Nakamura1-1/+1
2017-07-19Simplify the sed scriptMitsuhiro Nakamura1-1/+1
2017-07-19Merge pull request #26352 from Mounium/alizaJörg Thalheim1-0/+52
2017-07-18Merge pull request #27366 from veprbl/version_bumpsJörg Thalheim1-2/+2
2017-07-18boolector: 1.{5,6} -> 2.4.1Symphorien Gibol1-36/+11
2017-07-18mathematica: fix library pathsMitsuhiro Nakamura1-0/+7
2017-07-17iprover: 0.8.1 -> 2.5Gabriel Ebner1-10/+7
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-09 13:52:21 +0000