Semi-automatic update. These checks were performed:
- built on NixOS
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator_bin -V` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator_bin --version` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator_bin_dbg -V` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator_bin_dbg --version` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator_coverage_bin_dbg -V` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator_coverage_bin_dbg --version` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator -V` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator --version` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator_coverage -V` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator_coverage --version` and found version 3.920
- ran `/nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920/bin/verilator_profcfunc help` got 0 exit code
- found 3.920 with grep in /nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920
- found 3.920 in filename of file in /nix/store/j0sz8wy56xhm5agjgjrzy3r35qzyrb5s-verilator-3.920
cc "@thoughtpolice"
Semi-automatic update. These checks were performed:
- built on NixOS
- found 18.02.0 with grep in /nix/store/q3pav5f98v0imlk0bsr295k8xf2w8njr-wxmaxima-18.02.0
- found 18.02.0 in filename of file in /nix/store/q3pav5f98v0imlk0bsr295k8xf2w8njr-wxmaxima-18.02.0
cc "@peti"
Semi-automatic update. These checks were performed:
- built on NixOS
- ran `/nix/store/n5jgpvmzaqdfxdfawfi5rf8vav1qgi7w-lp_solve-5.5.2.5/bin/lp_solve -h` got 0 exit code
- ran `/nix/store/n5jgpvmzaqdfxdfawfi5rf8vav1qgi7w-lp_solve-5.5.2.5/bin/lp_solve -h` and found version 5.5.2.5
- found 5.5.2.5 with grep in /nix/store/n5jgpvmzaqdfxdfawfi5rf8vav1qgi7w-lp_solve-5.5.2.5
- found 5.5.2.5 in filename of file in /nix/store/n5jgpvmzaqdfxdfawfi5rf8vav1qgi7w-lp_solve-5.5.2.5
cc "@smironov"
Semi-automatic update. These checks were performed:
- built on NixOS
- found 2.4.8 with grep in /nix/store/3vwg5hpprkm3v345fy05gxdjicfakql7-igv-2.4.8
- found 2.4.8 in filename of file in /nix/store/3vwg5hpprkm3v345fy05gxdjicfakql7-igv-2.4.8
cc "@mimadrid"
Semi-automatic update. These checks were performed:
- built on NixOS
- ran `/nix/store/8zf9gq9g97prcmq27qln6vw7w4aqigw5-fricas-1.3.2/bin/fricas -h` got 0 exit code
- ran `/nix/store/8zf9gq9g97prcmq27qln6vw7w4aqigw5-fricas-1.3.2/bin/fricas -h` and found version 1.3.2
- ran `/nix/store/8zf9gq9g97prcmq27qln6vw7w4aqigw5-fricas-1.3.2/bin/efricas --help` got 0 exit code
- found 1.3.2 with grep in /nix/store/8zf9gq9g97prcmq27qln6vw7w4aqigw5-fricas-1.3.2
cc "@sprock"
Semi-automatic update. These checks were performed:
- built on NixOS
- ran `/nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28/bin/cryptoverif --help` got 0 exit code
- found 1.28 with grep in /nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28
- found 1.28 in filename of file in /nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28
Semi-automatic update. These checks were performed:
- built on NixOS
- ran `/nix/store/7q93md698w3bnl212mk38rq2l6k7wav6-cbc-2.9.9/bin/clp help` got 0 exit code
- ran `/nix/store/7q93md698w3bnl212mk38rq2l6k7wav6-cbc-2.9.9/bin/clp version` and found version 2.9.9
- ran `/nix/store/7q93md698w3bnl212mk38rq2l6k7wav6-cbc-2.9.9/bin/clp help` and found version 2.9.9
- ran `/nix/store/7q93md698w3bnl212mk38rq2l6k7wav6-cbc-2.9.9/bin/cbc help` got 0 exit code
- ran `/nix/store/7q93md698w3bnl212mk38rq2l6k7wav6-cbc-2.9.9/bin/cbc version` and found version 2.9.9
- ran `/nix/store/7q93md698w3bnl212mk38rq2l6k7wav6-cbc-2.9.9/bin/cbc help` and found version 2.9.9
- found 2.9.9 with grep in /nix/store/7q93md698w3bnl212mk38rq2l6k7wav6-cbc-2.9.9
- found 2.9.9 in filename of file in /nix/store/7q93md698w3bnl212mk38rq2l6k7wav6-cbc-2.9.9
openblas is used since it's propagated from OpenCV and ATLAS compiled without
architecture-specific optimizations is generally slower than OpenBLAS as I
heard.
Semi-automatic update. These checks were performed:
- built on NixOS
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-s -h` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-s --help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-s --version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-s -h` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-s --help` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-l -h` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-l --help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-l --version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-l -h` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build-l --help` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-s -h` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-s --help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-s --version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-s -h` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-s --help` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-l -h` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-l --help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-l --version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-l -h` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-align-l --help` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-s -h` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-s --help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-s --version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-s -h` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-s --help` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-l -h` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-l --help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-l --version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-l -h` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect-l --help` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect -h` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect --help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect -V` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect -v` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect --version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-inspect help` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build -h` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build --help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build -V` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build -v` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build --version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2-build help` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2 -h` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2 --help` got 0 exit code
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2 --version` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2 -h` and found version 2.3.4.1
- ran `/nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1/bin/bowtie2 --help` and found version 2.3.4.1
- found 2.3.4.1 with grep in /nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1
- found 2.3.4.1 in filename of file in /nix/store/3dhsbc2qzhls7p7xl8x5jzjk51l6y891-bowtie2-2.3.4.1
Semi-automatic update. These checks were performed:
- built on NixOS
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools -h` got 0 exit code
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools --help` got 0 exit code
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools help` got 0 exit code
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools -v` and found version 1.7
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools --version` and found version 1.7
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools version` and found version 1.7
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools -h` and found version 1.7
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools --help` and found version 1.7
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/bcftools help` and found version 1.7
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/plot-vcfstats -h` got 0 exit code
- ran `/nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7/bin/plot-vcfstats --help` got 0 exit code
- found 1.7 with grep in /nix/store/5yasri83ahcvhx06dv92fpzmxay9c833-bcftools-1.7
This makes the HTML-docs an default-off option. Inline documentation
(`matrix-plot??`) is still available and HTML docs are available online.
Motivation: Get below the Hydra output size limit.
The build was failing on some machines because of a `find` command that
touched files in different orders on different machines.
That confused `make`s timestamp mechanism.
Note I still get
```
This application failed to start because it could not find or load the
Qt platform plugin "xcb"
in "".
```
but that may be because I run it from the store which is not support for
Qt5 applications.
The sandboxed build was failing, because it relied heavily on
/usr/bin/env. This is fixed with a lot of shebang patching (both
to system packages and to sage-internal packages).
For now English (default) and Japanese editions only.
Fill out information in `l10ns.nix` to add the other localized editions.
Example usage: `mathematica.override { lang = "ja"; }` derives Japanese edition.
The linter (nixpkgs-lint) was not able to find the bitscope packages
because `recurseIntoAttrs` was not applied to the suite's set.
The name supplied to `buildFHSUserEnv` produces a binary that
corresponds to the binary names in the deb packages (e.g.: bitscope-dso,
bitscope-chart, bitscope-logic, etc), however; this name does not
constitute a valid nixpkgs name. Valid nixpkgs names satisfy the
`/(.*)(-[0-9].*)$/` pattern, therefore a valid name is merged into the
derivation produced by `buildFHSUserEnv`.
DRAT-trim is a tool which can be used to make SAT solvers (such as
glucose and glucose-syrup, which are in nixpkgs) more useful by
checking their work. It has become well-accepted in the SAT solver
development community and has been used in the annual SAT competitions
for the last few years.
The 0.16-releases contain several useful new features:
https://launchpad.net/stellarium/0.16/0.16.1
I also added myself as maintainer to have more people available if the
package breaks a release.
Note that clasp (included in clingo) is already packaged separately, but
only an earlier version. As it is used by OPAM, but will stop being used
by OPAM later (and I want to grab the name for Clasp the Common Lisp
implementation), I decided to package clingo as a whole (as recommended),
but to leave clasp until OPAM stops needing it.
This "un-breaks" sage while also updating it to 8.0.
It compiles sage with its dependencies as one big pile, which is not
the best approach but definately better than nothing for now.
To be able to shrink the huge output pile a little, it also splits
docs from the rest of the output.
Projects like the AIGER toolkit want to use the picosat.o object file in order
to do SAT solving. Install this, along with the header and version information,
so a build of the AIGER can use it. This means that picosat does not need to be
built twice.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
cc #15558
Components are now part of the base install
(previously it seems no components were included),
which I believe mostly removes the need for the srcComponents bit.
Debian is only other distro packaging this according
to repology, and they don't include additional libraries
which further suggests they're at least non-essential :).
As for the Caneda/Libraries repository, copying these
into the "libraries" directory with similar files
does not cause them to be auto-registered anyway,
as far as I can tell the application has a static
list of components (in the source) and additional
components need to be added using the GUI
making bundling them a bit useless and misleading.
caneda also now requires qt5 and doesn't appear to require
either libxml2 or libxslt.
* master: (81 commits)
Add NixOS 17.09 AMIs
gradle: 4.2 -> 4.2.1
maintainers.nix: use my GitHub handle as maintainer name
fcitx-engines.rime: init at 0.3.2
brise: init at 2017-09-16
librime: init at 1.2.9
marisa: init at 0.2.4
opencc: build shared library and programs
josm: 12712 -> 12914
exa: 0.7.0 -> 0.8.0
krb5: add deprecation date for old configuration
rustRegistry: 2017-09-10 -> 2017-10-03
go-ethereum: Fix libusb segmentation faults on Darwin
tor-browser-bundle-bin: 7.0.5 -> 7.0.6
libsodium: 1.0.13 -> 1.0.15
tor-browser-bundle: geoip support
tor-browser-bundle: support transports obfs2,obfs3
tor-browser-bundle: bump https-everywhere to 2017.9.12
tint2: limit platforms to Linux since macOS is not supported and fails the tests
eclipse-plugin-vrapper: init at 0.72.0
...
This is the latest release from Cadsoft, before they were bought by
Autocad. Autocad has released 8.x, but
- it requires reworking the Nix expression (different packaging)
- the paid license version requires a monthly subscription fee, you never
"own" the software (AFAICT).
Due to the licensing change in 8.x, I think keeping Eagle 7.x around is
a good idea.
