why3

Package information

State
ok
Packages
Bodhi
Dist-git
Bugzilla
Koji
File new FTBFS bug

Scheduler parameters

Tracked by Koschei
True
Current priority
239
Manual priority
0
Static priority
0
Arch override
None
Skip resolution
False

Configure scheduling

Tracked by Koschei
Manual priority
Skip resolution
Arch override
Cancel

Dependency changes since last build

netpbm
11.09.00-1.fc42
11.09.00-2.fc42
3
pyproject-srpm-macros
1.16.4-2.fc42
1.17.0-1.fc42
3
perl-Business-ISBN-Data
20250118.001-1.fc42
20250205.001-1.fc42
B

State overview

Groups

This package is not part of any global group.

Historical builds

2025-01-14 15:30:28
Package resolution failed
  • Problem: package emacs-proofgeneral-4.5-9.20240912git1ffca70.fc42.noarch from primary-f42-build-6543290 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543290
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543290
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543290
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543290
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543290
2025-01-14 14:20:28
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543271
  • Problem: package emacs-proofgeneral-4.5-9.20240912git1ffca70.fc42.noarch from primary-f42-build-6543271 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-1:29.4-46.fc42.x86_64 from primary-f42-build-6543271
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-gtk+x11-1:29.4-46.fc42.x86_64 from primary-f42-build-6543271
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-lucid-1:29.4-46.fc42.x86_64 from primary-f42-build-6543271
    - nothing provides libtree-sitter.so.0.23()(64bit) needed by emacs-nw-1:29.4-46.fc42.x86_64 from primary-f42-build-6543271
complete
127846435
2025-01-14 02:33:51
aarch64
├127846527 ( build.log | root.log )
ppc64le
├127846525 ( build.log | root.log )
x86_64
└127846526 ( build.log | root.log )
python3-sphinx
1:7.3.7-2.fc41
1:8.1.3-1.fc42
1
libselinux
3.8-0.rc3.1.fc42.1
3.8-0.rc3.1.fc42.2
2
glibc
2.40.9000-27.fc42
2.40.9000-28.fc42
2
alternatives
1.31-1.fc42
1.31-2.fc42
2
libuuid
2.40.2-8.fc42
2.40.2-9.fc42
2
harfbuzz
10.1.0-2.fc42
10.2.0-1.fc42
2
systemd-libs
257.2-1.fc42
257.2-7.fc42
2
rpm-libs
4.20.0-1.fc42
4.20.0-5.fc42
2
cmake-filesystem
3.31.3-1.fc42
3.31.4-1.fc42
3
rpm
4.20.0-1.fc42
4.20.0-5.fc42
3
libmount
2.40.2-8.fc42
2.40.2-9.fc42
3
glibc-gconv-extra
2.40.9000-27.fc42
2.40.9000-28.fc42
3
glibc-devel
2.40.9000-27.fc42
2.40.9000-28.fc42
3
coreutils
9.5-11.fc42
9.5-12.fc42
3
openjpeg
2.5.3-2.fc42
2.5.3-3.fc42
3
libcap
2.71-1.fc42
2.71-2.fc42
3
filesystem
3.18-29.fc42
3.18-30.fc42
3
libxcrypt
4.4.37-4.fc42
4.4.37-6.fc42
3
util-linux
2.40.2-8.fc42
2.40.2-9.fc42
3
glibc-common
2.40.9000-27.fc42
2.40.9000-28.fc42
3
glibc-minimal-langpack
2.40.9000-27.fc42
2.40.9000-28.fc42
3
filesystem-srpm-macros
3.18-29.fc42
3.18-30.fc42
3
coreutils-common
9.5-11.fc42
9.5-12.fc42
4
rpm-build
4.20.0-1.fc42
4.20.0-5.fc42
4
libcom_err
1.47.2-1.fc42
1.47.2-2.fc42
4
cyrus-sasl-lib
2.1.28-27.fc41
2.1.28-28.fc42
4
atk-devel
2.54.0-1.fc42
2.55.0-1.fc42
4
svt-av1-libs
2.1.0-2.fc41
2.1.0-4.fc42
4
shadow-utils
2:4.17.0-2.fc42
2:4.17.0-3.fc42
4
at-spi2-atk-devel
2.54.0-1.fc42
2.55.0-1.fc42
4
util-linux-core
2.40.2-8.fc42
2.40.2-9.fc42
4
atk
2.54.0-1.fc42
2.55.0-1.fc42
4
libmount-devel
2.40.2-8.fc42
2.40.2-9.fc42
4
libsmartcols
2.40.2-8.fc42
2.40.2-9.fc42
4
libxcrypt-devel
4.4.37-4.fc42
4.4.37-6.fc42
4
libblkid
2.40.2-8.fc42
2.40.2-9.fc42
4
at-spi2-atk
2.54.0-1.fc42
2.55.0-1.fc42
4
kernel-headers
6.13.0-0.rc6.48.fc42
6.13.0-0.rc7.55.fc42
4
libfdisk
2.40.2-8.fc42
2.40.2-9.fc42
4
libselinux-devel
3.8-0.rc3.1.fc42.1
3.8-0.rc3.1.fc42.2
4
libsoup3
3.6.1-1.fc42
3.6.3-1.fc42
B
libblkid-devel
2.40.2-8.fc42
2.40.2-9.fc42
B
harfbuzz-devel
10.1.0-2.fc42
10.2.0-1.fc42
B
at-spi2-core
2.54.0-1.fc42
2.55.0-1.fc42
B
rpm-build-libs
4.20.0-1.fc42
4.20.0-5.fc42
B
fedora-release-identity-basic
42-0.12
42-0.13
B
gettext-runtime
0.23-1.fc42
0.23.1-1.fc42
B
fedora-release
42-0.12
42-0.13
B
systemd-devel
257.2-1.fc42
257.2-7.fc42
B
lm_sensors-libs
3.6.0-20.fc41
3.6.0-21.fc42
B
gettext
0.23-1.fc42
0.23.1-1.fc42
B
harfbuzz-icu
10.1.0-2.fc42
10.2.0-1.fc42
B
gettext-envsubst
0.23-1.fc42
0.23.1-1.fc42
B
info
7.1.1-2.fc42
7.2-1.fc42
B
systemd-rpm-macros
257.2-1.fc42
257.2-7.fc42
B
libtextstyle
0.23-1.fc42
0.23.1-1.fc42
B
gettext-libs
0.23-1.fc42
0.23.1-1.fc42
B
harfbuzz-cairo
10.1.0-2.fc42
10.2.0-1.fc42
B
gnupg2
2.4.5-4.fc42
2.4.5-5.fc42
B
fedora-release-common
42-0.12
42-0.13
B
at-spi2-core-devel
2.54.0-1.fc42
2.55.0-1.fc42
B
Real build: why3-1.8.0-1.fc42
complete
127744905
2025-01-10 17:31:05
aarch64
├127745007 ( build.log | root.log )
ppc64le
├127745008 ( build.log | root.log )
s390x
├127745009 ( build.log | root.log )
x86_64
└127745005 ( build.log | root.log )
flocq
4.2.0-2.fc41
4.2.0-3.fc42
1
ocaml-re-devel
1.13.3-1.fc42
1.13.3-2.fc42
1
ocaml-lablgtk3-sourceview3-devel
3.1.5-3.fc41
3.1.5-4.fc42
1
java-21-openjdk-devel
1:21.0.5.0.11-1.fc42
1
ocaml-ocamlgraph-devel
2.1.0-9.fc41
2.1.0-10.fc42
1
ocaml-apron-devel
0.9.15-4.fc41
0.9.15-5.fc42
1
ocaml-ocamldoc
5.2.0-3.fc41
5.3.0-1.fc42
1
coq
8.18.0-10.fc41
8.20.0-1.fc42
1
ocaml-findlib
1.9.6-14.fc41
1.9.8-1.fc42
1
ocaml-ppx-deriving-devel
6.0.2-6.fc41
6.0.3-1.fc42
1
ocaml
5.2.0-3.fc41
5.3.0-1.fc42
1
ocaml-zip-devel
1.12-1.fc41
1.13-1.fc42
1
ocaml-ppx-sexp-conv-devel
0.17.0-3.fc41
0.17.0-4.fc42
1
ocaml-sexplib-devel
1:0.17.0-3.fc41
1:0.17.0-4.fc42
1
ocaml-mlmpfr-devel
4.2.1-6.fc41
4.2.1-7.fc42
1
ocaml-num-devel
1.5-9.fc41
1.5-10.fc42
1
ocaml-zarith-devel
1.14-2.fc41
1.14-4.fc42
1
ocaml-camlidl-devel
1.12-9.fc41
1.12-10.fc42
1
ocaml-menhir
20240715-1.fc41
20240715-2.fc42
1
zlib-ng-devel
2.2.3-1.fc42
2
java-21-openjdk
1:21.0.5.0.11-1.fc42
2
ocaml-lablgtk3
3.1.5-3.fc41
3.1.5-4.fc42
2
ocaml-compiler-libs-janestreet-devel
0.17.0-4.fc41
0.17.0-5.fc42
2
ocaml-cairo-devel
2:0.6.4-14.fc41
2:0.6.5-1.fc42
2
ocaml-sexplib
1:0.17.0-3.fc41
1:0.17.0-4.fc42
2
ocaml-lablgtk3-sourceview3
3.1.5-3.fc41
3.1.5-4.fc42
2
ocaml-ppxlib-jane
0.17.0-3.fc41
0.17.2-1.fc42
2
ocaml-sexplib0-devel
0.17.0-2.fc41
0.17.0-3.fc42
2
ocaml-ppxlib-devel
1:0.33.0-1.fc41
1:0.34.0-1.fc42
2
ocaml-ppx-sexp-conv
0.17.0-3.fc41
0.17.0-4.fc42
2
ocaml-mlmpfr
4.2.1-6.fc41
4.2.1-7.fc42
2
ocaml-apron
0.9.15-4.fc41
0.9.15-5.fc42
2
ocaml-base-devel
0.17.1-2.fc41
0.17.1-3.fc42
2
ocaml-base
0.17.1-2.fc41
0.17.1-3.fc42
2
ocaml-ppxlib-jane-devel
0.17.0-3.fc41
0.17.2-1.fc42
2
ocaml-re
1.13.3-1.fc42
1.13.3-2.fc42
2
ocaml-camlidl
1.12-9.fc41
1.12-10.fc42
2
ocaml-mlgmpidl-devel
1.3.0-11.fc41
1.3.0-12.fc42
2
ocaml-ppx-derivers-devel
1.2.1-38.fc41
1.2.1-39.fc42
2
ocaml-cairo
2:0.6.4-14.fc41
2:0.6.5-1.fc42
2
ocaml-parsexp-devel
0.17.0-2.fc41
0.17.0-3.fc42
2
ocaml-zip
1.12-1.fc41
1.13-1.fc42
2
apron-devel
0.9.15-4.fc41
0.9.15-5.fc42
2
ocaml-menhirlib-devel
20240715-1.fc41
20240715-2.fc42
2
ocaml-sexplib0
0.17.0-2.fc41
0.17.0-3.fc42
2
ocaml-runtime
5.2.0-3.fc41
5.3.0-1.fc42
2
ocaml-ppx-deriving
6.0.2-6.fc41
6.0.3-1.fc42
2
ocaml-lablgtk3-devel
3.1.5-3.fc41
3.1.5-4.fc42
2
ocaml-compiler-libs
5.2.0-3.fc41
5.3.0-1.fc42
2
ocaml-ocamlgraph
2.1.0-9.fc41
2.1.0-10.fc42
2
ocaml-num
1.5-9.fc41
1.5-10.fc42
2
coq-core
8.18.0-10.fc41
8.20.0-1.fc42
2
ocaml-parsexp
0.17.0-2.fc41
0.17.0-3.fc42
2
ocaml-mlgmpidl
1.3.0-11.fc41
1.3.0-12.fc42
2
ocaml-ppxlib
1:0.33.0-1.fc41
1:0.34.0-1.fc42
2
ocaml-compiler-libs-janestreet
0.17.0-4.fc41
0.17.0-5.fc42
2
ocaml-zarith
1.14-2.fc41
1.14-4.fc42
2
ocaml-ppx-derivers
1.2.1-38.fc41
1.2.1-39.fc42
2
libtool-ltdl
2.5.4-1.fc42
2.5.4-2.fc42
2
apron
0.9.15-4.fc41
0.9.15-5.fc42
3
openldap
2.6.8-6.fc42
2.6.9-1.fc42
3
ocaml-intrinsics-kernel-devel
0.17.1-1.fc42
0.17.1-2.fc42
3
ocaml-menhirlib
20240715-1.fc41
20240715-2.fc42
3
ocaml-intrinsics-kernel
0.17.1-1.fc42
0.17.1-2.fc42
3
xorg-x11-fonts-Type1
7.5-39.fc41
3
ocaml-ppxlib-tools
1:0.34.0-1.fc42
3
java-21-openjdk-headless
1:21.0.5.0.11-1.fc42
3
zlib-ng
2.2.3-1.fc42
3
lksctp-tools
1.0.20-1.fc42
4
javapackages-filesystem
6.4.0-4.fc42
4
tzdata-java
2024b-1.fc42
4
mkfontscale
1.2.3-1.fc41
4
copy-jdk-configs
4.1-6.fc41
4
ttmkfdir
3.0.9-71.fc41
4
mesa-libEGL
24.3.2-1.fc42
24.3.3-1.fc42
B
ocaml-bigarray-compat-devel
1.1.0-17.fc41
ocaml-bigarray-compat
1.1.0-17.fc41
mesa-libglapi
24.3.2-1.fc42
24.3.3-1.fc42
B
libusb1
1.0.27-4.fc42
1.0.27-5.fc42
B
mesa-filesystem
24.3.2-1.fc42
24.3.3-1.fc42
B
mesa-dri-drivers
24.3.2-1.fc42
24.3.3-1.fc42
B
mesa-libGL
24.3.2-1.fc42
24.3.3-1.fc42
B
lua-posix
36.2.1-7.fc41
B
mesa-libgbm
24.3.2-1.fc42
24.3.3-1.fc42
B
libfontenc
1.1.8-2.fc41
B
lua
5.4.7-1.fc42
B
complete
127720187
2025-01-09 23:35:26
aarch64
├127720334 ( build.log | root.log )
ppc64le
├127720336 ( build.log | root.log )
x86_64
└127720335 ( build.log | root.log )
graphviz
12.2.1-1.fc42
12.2.1-2.fc42
1
pango
1.54.0-2.fc41
1.55.0-1.fc42
2
perl-File-Copy
2.41-512.fc42
2.41-513.fc42
2
perl-FileHandle
2.05-512.fc42
2.05-513.fc42
2
python3-babel
2.16.0-1.fc42
2.16.0-2.fc42
2
libselinux
3.8-0.rc3.1.fc42
3.8-0.rc3.1.fc42.1
2
perl-interpreter
4:5.40.0-512.fc42
4:5.40.0-513.fc42
2
glibc
2.40.9000-26.fc42
2.40.9000-27.fc42
2
perl-File-Basename
2.86-512.fc42
2.86-513.fc42
2
perl-sigtrap
1.10-512.fc42
1.10-513.fc42
2
perl-libs
4:5.40.0-512.fc42
4:5.40.0-513.fc42
2
systemd-libs
257.1-1.fc42
257.2-1.fc42
2
graphviz-libs
12.2.1-1.fc42
12.2.1-2.fc42
2
zlib-ng-compat
2.2.2-1.fc42
2.2.3-1.fc42
2
perl-File-Find
1.44-512.fc42
1.44-513.fc42
2
python3-jinja2
3.1.4-5.fc41
3.1.5-1.fc42
2
perl-Getopt-Std
1.14-512.fc42
1.14-513.fc42
3
glibc-minimal-langpack
2.40.9000-26.fc42
2.40.9000-27.fc42
3
perl-Errno
1.38-512.fc42
1.38-513.fc42
3
perl-POSIX
2.20-512.fc42
2.20-513.fc42
3
cups-libs
1:2.4.11-8.fc42
1:2.4.11-9.fc42
3
perl-IO
1.55-512.fc42
1.55-513.fc42
3
perl-DynaLoader
1.56-512.fc42
1.56-513.fc42
3
perl-Symbol
1.09-512.fc42
1.09-513.fc42
3
glibc-devel
2.40.9000-26.fc42
2.40.9000-27.fc42
3
perl-meta-notation
5.40.0-512.fc42
5.40.0-513.fc42
3
pyproject-srpm-macros
1.16.3-1.fc42
1.16.4-1.fc42
3
openssl-libs
1:3.2.2-10.fc42
1:3.2.2-11.fc42
3
glibc-gconv-extra
2.40.9000-26.fc42
2.40.9000-27.fc42
3
perl-overload
1.37-512.fc42
1.37-513.fc42
3
perl-vars
1.05-512.fc42
1.05-513.fc42
3
glibc-common
2.40.9000-26.fc42
2.40.9000-27.fc42
3
perl-overloading
0.02-512.fc42
0.02-513.fc42
4
perl-SelectSaver
1.02-512.fc42
1.02-513.fc42
4
perl-locale
1.12-512.fc42
1.12-513.fc42
4
audit-libs
4.0.2-1.fc41
4.0.3-1.fc42
4
libselinux-devel
3.8-0.rc3.1.fc42
3.8-0.rc3.1.fc42.1
4
perl-base
2.27-512.fc42
2.27-513.fc42
4
perl-File-stat
1.14-512.fc42
1.14-513.fc42
4
pango-devel
1.54.0-2.fc41
1.55.0-1.fc42
4
perl-Fcntl
1.18-512.fc42
1.18-513.fc42
4
zlib-ng-compat-devel
2.2.2-1.fc42
2.2.3-1.fc42
4
perl-mro
1.29-512.fc42
1.29-513.fc42
4
cups-filesystem
1:2.4.11-8.fc42
1:2.4.11-9.fc42
4
flexiblas-netlib
3.4.4-3.fc41
3.4.4-5.fc42
4
perl-English
1.11-512.fc42
1.11-513.fc42
B
perl-deprecate
0.04-512.fc42
0.04-513.fc42
B
perl-I18N-Langinfo
0.24-512.fc42
0.24-513.fc42
B
perl-open
1.13-512.fc42
1.13-513.fc42
B
perl-subs
1.04-512.fc42
1.04-513.fc42
B
perl-Tie
4.6-512.fc42
4.6-513.fc42
B
perl-Sys-Hostname
1.25-512.fc42
1.25-513.fc42
B
perl-IPC-Open3
1.22-512.fc42
1.22-513.fc42
B
perl-Locale-Maketext-Simple
1:0.21-512.fc42
1:0.21-513.fc42
B
perl-Opcode
1.65-512.fc42
1.65-513.fc42
B
flexiblas
3.4.4-3.fc41
3.4.4-5.fc42
B
flexiblas-openblas-openmp
3.4.4-3.fc41
3.4.4-5.fc42
B
perl-Business-ISBN-Data
20241224.001-1.fc42
20250109.001-1.fc42
B
perl-Unicode-UCD
0.78-512.fc42
0.78-513.fc42
B
perl-Hash-Util-FieldHash
1.27-512.fc42
1.27-513.fc42
B
ed
1.20.2-2.fc41
1.21-1.fc42
B
perl-Pod-Html
1.35-512.fc42
1.35-513.fc42
B
systemd-devel
257.1-1.fc42
257.2-1.fc42
B
perl-B
1.89-512.fc42
1.89-513.fc42
B
perl-Safe
2.46-512.fc42
2.46-513.fc42
B
perl-Math-Complex
1.62-512.fc42
1.62-513.fc42
B
perl-if
0.61.000-512.fc42
0.61.000-513.fc42
B
perl-I18N-LangTags
0.45-512.fc42
0.45-513.fc42
B
perl-Class-Struct
0.68-512.fc42
0.68-513.fc42
B
systemd-rpm-macros
257.1-1.fc42
257.2-1.fc42
B
perl-File-Compare
1.100.800-512.fc42
1.100.800-513.fc42
B
perl-AutoLoader
5.74-512.fc42
5.74-513.fc42
B
complete
127624458
2025-01-07 08:51:01
aarch64
├127624548 ( build.log | root.log )
ppc64le
├127624550 ( build.log | root.log )
x86_64
└127624549 ( build.log | root.log )
redhat-rpm-config
296-1.fc42
300-1.fc42
2
glibc
2.40.9000-25.fc42
2.40.9000-26.fc42
2
glibc-devel
2.40.9000-25.fc42
2.40.9000-26.fc42
3
glibc-minimal-langpack
2.40.9000-25.fc42
2.40.9000-26.fc42
3
libxcrypt
4.4.37-2.fc42
4.4.37-4.fc42
3
python3-six
1.16.0-23.fc41
1.17.0-1.fc42
3
python3-charset-normalizer
3.4.0-1.fc42
3.4.1-1.fc42
3
glibc-common
2.40.9000-25.fc42
2.40.9000-26.fc42
3
glibc-gconv-extra
2.40.9000-25.fc42
2.40.9000-26.fc42
3
python3-pyyaml
6.0.1-18.fc41
6.0.2-1.fc42
3
filesystem-srpm-macros
3.18-29.fc42
3
google-noto-sans-vf-fonts
20240901-1.fc42
20250101-1.fc42
4
libxcrypt-devel
4.4.37-2.fc42
4.4.37-4.fc42
4
libcom_err
1.47.1-6.fc42
1.47.2-1.fc42
4
google-noto-fonts-common
20240901-1.fc42
20250101-1.fc42
4
kernel-headers
6.13.0-0.rc5.42.fc42
6.13.0-0.rc6.48.fc42
4
fedora-release-identity-basic
42-0.11
42-0.12
B
fedora-release-common
42-0.11
42-0.12
B
libicu
76.1-1.fc42
76.1-2.fc42
B
perltidy
20240903-1.fc42
20250105-1.fc42
B
fedora-release
42-0.11
42-0.12
B
libicu-devel
76.1-1.fc42
76.1-2.fc42
B
hwdata
0.390-1.fc42
0.391-1.fc42
B
libedit
3.1-53.20240808cv...
3.1-54.20250104cv...
B
perl-Tie-Cycle
1.228-3.fc41
1.229-1.fc42
B
perl-Business-ISBN
3.009-5.fc41
3.011-1.fc42
B
2024-08-28 13:57:54
Package dependencies resolved successfuly
2024-08-28 13:40:56
Package resolution failed
  • Problem: conflicting requests
    - nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376904
  • Problem: package emacs-proofgeneral-4.5-8.fc41.noarch from primary-f42-build-6376904 requires emacs(bin) >= 29.4, but none of the providers can be installed
    - conflicting requests
    - nothing provides libtree-sitter.so.0()(64bit) needed by emacs-1:29.4-29.fc41.x86_64 from primary-f42-build-6376904
    - nothing provides libtree-sitter.so.0()(64bit) needed by emacs-gtk+x11-1:29.4-29.fc41.x86_64 from primary-f42-build-6376904
    - nothing provides libtree-sitter.so.0()(64bit) needed by emacs-lucid-1:29.4-29.fc41.x86_64 from primary-f42-build-6376904
    - nothing provides libtree-sitter.so.0()(64bit) needed by emacs-nw-1:29.4-29.fc41.x86_64 from primary-f42-build-6376904
Previous history
Koschei version 2afbb17
Authors: Michael Simacek, Mikolaj Izdebski
Copyright © 2014-2018 Red Hat Inc.
User documentation
Project page on GitHub
Reporting issues