about summary refs log tree commit diff
path: root/pkgs/applications/science
Commit message (Collapse)AuthorAge
* clp: cleanup expressionJan Malakhovski2018-07-16
|
* cvc4: fix homepage urlGabriel Ebner2018-07-16
|
* bliss: fix header location (#43170)fragamus2018-07-16
|
* Merge branch 'init-gurobi' of git://github.com/jfrankenau/nixpkgsShea Levy2018-07-15
|\
| * gurobi: init at 8.0.1Johannes Frankenau2018-07-14
| |
* | eclib: 20171219 -> 20180710Timo Kaufmann2018-07-15
| | | | | | | | | | Also includes the necessary sage compatibility patch, borrowed from ArchLinux.
* | z3: fix darwin build (#43526)Mario Rodas2018-07-14
| |
* | octopus: 7.2 -> 8.1 (libxc 3.0.1 -> 4.2.3) (#43484)markuskowa2018-07-14
| |
* | pythonPackages.cypari2: 1.1.4 -> 1.2.1 (#43496)Timo Kaufmann2018-07-14
| |
* | Merge pull request #43436 from timokau/sage-new-flaskFrederik Rietdijk2018-07-13
|\ \ | | | | | | sage: replace flask-babel version pin by patch
| * | sage: replace flask-babel version pin by patchTimo Kaufmann2018-07-12
| | |
* | | Merge pull request #43471 from r-ryantm/auto-update/igvFrederik Rietdijk2018-07-13
|\ \ \ | | | | | | | | igv: 2.4.11 -> 2.4.13
| * | | igv: 2.4.11 -> 2.4.13R. RyanTM2018-07-13
| | | | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/igv/versions.
* | | | Merge pull request #43472 from r-ryantm/auto-update/gollyMichael Raskin2018-07-13
|\ \ \ \ | | | | | | | | | | golly: 3.1 -> 3.2
| * | | | golly: 3.1 -> 3.2R. RyanTM2018-07-13
| |/ / / | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/golly/versions.
* | | | Merge pull request #43445 from dtzWill/fix/yices-symlinkWill Dietz2018-07-13
|\ \ \ \ | | | | | | | | | | yices: fix symlink created to match version
| * | | | yices: use lib.splitString, not everyone has builtins.splitVersionWill Dietz2018-07-12
| | | | |
| * | | | yices: simplify ln commandWill Dietz2018-07-12
| | | | |
| * | | | yices: fix symlink to match version of packageWill Dietz2018-07-12
| | | | | | | | | | | | | | | | | | | | | | | | | To help avoid this happening again, derive the string to use from the version directly instead of embedding it in installPhase.
* | | | | abc-verifier: 20160818 -> 2018-07-08Will Dietz2018-07-12
| | | | | | | | | | | | | | | | | | | | Now hosted on github.
* | | | | libpoly: 0.1.5 -> 0.1.7 (noop), cleanup a bit to modern styleWill Dietz2018-07-12
|/ / / /
* | | | z3: move to multiple output packagesAustin Seipp2018-07-12
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The Z3 source code is effectively compiled into two completely separate objects: the z3 binary file, and the libz3.so library -- but the binary is not linked against the shared library, it simply incorporates all of the object files. The Z3 code base results in an ~25MB object on x86_64-linux. As a result, splitting bin/ and lib/ results in a 50% reduction in closure size. (The include/ directory is also surprisingly large at .5MB...) This also splits the python API into a completely separate .python attribute, as well. Signed-off-by: Austin Seipp <aseipp@pobox.com>
* | | | jmol: 14.29.12 -> 14.29.17 (#43429)Timo Kaufmann2018-07-12
| |/ / |/| |
* | | Merge pull request #43333 from r-ryantm/auto-update/libpolyFrederik Rietdijk2018-07-11
|\ \ \ | | | | | | | | libpoly: 0.1.4 -> 0.1.5
| * | | libpoly: 0.1.4 -> 0.1.5R. RyanTM2018-07-11
| |/ / | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/libpoly/versions.
* | | yices: 2.5.4 -> 2.6.0R. RyanTM2018-07-11
| | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/yices/versions.
* | | qalculate-gtk: 2.6.0 -> 2.6.1R. RyanTM2018-07-11
|/ / | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/qalculate-gtk/versions.
* | fricas: 1.3.3 -> 1.3.4 (#43023)R. RyanTM2018-07-09
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/fricas/versions. These checks were done: - built on NixOS - /nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/bin/fricas passed the binary check. - /nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/bin/efricas passed the binary check. - 2 of 2 passed binary check by having a zero exit code. - 0 of 2 passed binary check by having the new version present in output. - found 1.3.4 with grep in /nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4 - directory tree listing: https://gist.github.com/75d751d9733f6b0a7b582ab838a71963 - du listing: https://gist.github.com/4c6fe5f342430a2b36568da3229d3dc4
* | igv: 2.4.10 -> 2.4.11 (#43003)R. RyanTM2018-07-09
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/igv/versions. These checks were done: - built on NixOS - Warning: no invocation of /nix/store/yc18a4s9rs8m6wjbsmi1lax5v0kkyl2i-igv-2.4.11/bin/igv had a zero exit code or showed the expected version - 0 of 1 passed binary check by having a zero exit code. - 0 of 1 passed binary check by having the new version present in output. - found 2.4.11 with grep in /nix/store/yc18a4s9rs8m6wjbsmi1lax5v0kkyl2i-igv-2.4.11 - directory tree listing: https://gist.github.com/ca4cf484aab1c1590806c47c4fdde1d7 - du listing: https://gist.github.com/f7ff80a2429cf0a942195db4944659b1
* | Merge pull request #43096 from jbedo/mosdepthSilvan Mosberger2018-07-09
|\ \ | | | | | | mosdepth: init 0.2.3
| * | mosdepth: init 0.2.3Justin Bedo2018-07-09
| | |
* | | monosat: update build to use handy new environment variableDan Peebles2018-07-08
| | |
* | | monosat: cbaf79cf -> 2deeadefDan Peebles2018-07-08
| | | | | | | | | | | | Upstream fixed a few things I needed to work around
* | | monosat: init at 1nx3wh34Dan Peebles2018-07-08
| | | | | | | | | | | | | | | Also includes the python and java bindings (although java is only currently enabled on Linux)
* | | picard-tools: 2.18.7 -> 2.18.9 (#42967)R. RyanTM2018-07-06
|/ / | | | | | | | | | | | | | | | | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/picard-tools/versions. These checks were done: - built on NixOS - Warning: no invocation of /nix/store/ah3v1x61gmj9lan8a3qvy3824lqvjdgi-picard-tools-2.18.9/bin/picard had a zero exit code or showed the expected version - 0 of 1 passed binary check by having a zero exit code. - 0 of 1 passed binary check by having the new version present in output. - found 2.18.9 with grep in /nix/store/ah3v1x61gmj9lan8a3qvy3824lqvjdgi-picard-tools-2.18.9 - directory tree listing: https://gist.github.com/0972acdc51fe8a1cde470e4ab5e87993 - du listing: https://gist.github.com/6a66b6723ce4887cd108678369b87360
* | verilator: Allow building on Darwin as well as LinuxJohn Wiegley2018-07-05
| |
* | Merge pull request #43079 from matthewbauer/rework-extra-pkgsMatthew Bauer2018-07-05
|\ \ | | | | | | Rework stage.nix's extraPkgs
| * | treewide: remove callPackage_i686Matthew Bauer2018-07-05
| | | | | | | | | | | | This has been replaced with pkgsi686Linux.callPackage
* | | Merge pull request #43071 from dtzWill/fix/vampire-portabilityWill Dietz2018-07-05
|\ \ \ | | | | | | | | vampire: portability fixes
| * | | vampire: enable parallel buildingWill Dietz2018-07-05
| | | |
| * | | vampire: portability fixesWill Dietz2018-07-05
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | These have been submitted upstream, but seconds before writing this message so naturally no upstream response "yet" :). Regardless of response, fetch patches from the corresponding PR's for context and of course hopefully they'll be included in next version.
| * | | vampire: use CC/CXX from env, instead of always g++Will Dietz2018-07-05
| | | |
* | | | cvc4: 1.5 -> 1.6Gabriel Ebner2018-07-05
|/ / /
* | | qalculate-gtk: 2.5.0 -> 2.6.0Gabriel Ebner2018-07-05
| | |
* | | eprover: 2.0 -> 2.1Gabriel Ebner2018-07-05
| | |
* | | vampire: init at 4.2.2Gabriel Ebner2018-07-05
| | |
* | | stellarium: 0.18.0 -> 0.18.1 (#42949)R. RyanTM2018-07-05
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/stellarium/versions. These checks were done: - built on NixOS - Warning: no invocation of /nix/store/2c607ylvxs69nbr99ly1bgcb0bbk47xf-stellarium-0.18.1/bin/stellarium had a zero exit code or showed the expected version - Warning: no invocation of /nix/store/2c607ylvxs69nbr99ly1bgcb0bbk47xf-stellarium-0.18.1/bin/.stellarium-wrapped had a zero exit code or showed the expected version - 0 of 2 passed binary check by having a zero exit code. - 0 of 2 passed binary check by having the new version present in output. - found 0.18.1 with grep in /nix/store/2c607ylvxs69nbr99ly1bgcb0bbk47xf-stellarium-0.18.1 - directory tree listing: https://gist.github.com/dd98359fb1214ae24bd70e291c1bc33d - du listing: https://gist.github.com/67baedda5ffc1ad0aa064239cb503c2b
* | | Merge pull request #43026 from r-ryantm/auto-update/clingoMichael Raskin2018-07-04
|\ \ \ | | | | | | | | clingo: 5.2.2 -> 5.3.0
| * | | clingo: 5.2.2 -> 5.3.0R. RyanTM2018-07-04
| |/ / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/clingo/versions. Version release notes (from GitHub): # Packages - The easiest way to obtain Python enabled clingo packages is using [Anaconda][ana]. Packages are available in the [Potassco channel][pch]. First [install either Anaconda or Miniconda][ins] and then run: `conda install -c potassco clingo`. - Packages for clingo are available in the Linux distributions [Debian][deb], [Ubuntu][ubu], and [Arch Linux (AUR)][aur]. - For Mac OS X, clingo packages are available in [homebrew][hbr] and [macports][mac]. # Changes * change C API to use numeric instead of symbolic literals * affects assumptions and assigning/releasing externals (breaks backward compatibility) * added overloads to C++, python and lua API to support both numeric and symbolic version (preserves backward compatibility for most code) * the python, C and C++ APIs now allow for customizing clingo by implementing a custom main function but reusing the rest of the application including the standard output * add API function to detect conflicting programs * add message logger to python and lua interface * add support for primes in the beginning of identifiers and variable names * add per solver registration of watches during propagator initialization * add a directive to selectivel suppress undefined atom warnings * add support for user defined statistics * add _to_c functions for python API to be able to call C functions from python * only create ground representations for requested program parts when grounding (#71) * improve program observer (#19) * support for binary, octal, and hexadecimal numbers (#65) * the backend has to be opened/closed now * release python's GIL while grounding (#82) * TruthValue.{True,False} becomes TruthValue.{\_True,\_False} in python API * improve API and it's documentation [deb]: https://www.debian.org/ [ubu]: https://www.ubuntu.com/ [aur]: https://aur.archlinux.org/ [hbr]: https://brew.sh/ [mac]: https://www.macports.org/ [ana]: https://conda.io [pch]: https://anaconda.org/potassco/clingo [ins]: https://conda.io/docs/user-guide/install/index.html These checks were done: - built on NixOS - /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/lpconvert passed the binary check. - /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/clasp passed the binary check. - /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/reify passed the binary check. - /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/gringo passed the binary check. - /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/clingo passed the binary check. - 5 of 5 passed binary check by having a zero exit code. - 0 of 5 passed binary check by having the new version present in output. - found 5.3.0 with grep in /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0 - directory tree listing: https://gist.github.com/bba2eaf1d132fbdd88a2710a6030c419 - du listing: https://gist.github.com/230340bfa02557290a60cfc6d2e7e977
* | | Merge pull request #42897 from fragamus/masterSilvan Mosberger2018-07-04
|\ \ \ | |/ / |/| | add bliss package
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-30 13:04:53 +0000