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).
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.
