TakeV/guix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
guix/gnu/packages/patches
History
Mike Gerwitz f30e8f2909
gnu: Add tla2tools. 
This introduces tla2tools.jar, which contains the TLA+ model checker
and simulator (TLC); a TLA+ REPL; a semantic analyzer (SANY); the TLATeX
typesetting system; PlusCal translator; and more.  I have added five
wrapper scripts for convenience, rather than invoking `java' manually.
The wrapper scripts are not comprehensive; users who are familiar with
tla2tools.jar, or have read the book Specifying Systems, may still
invoke the commands in the traditional way.

The minimum JDK version is 11.  I chose to stick with that rather than
bumping it to 14 (which is the largest version currently in Guix)
because each OpenJDK version in Guix depends on the version before it,
and so it needlessly results in many 100s of MiB of unnecessary
dependencies.

Note that this is _not_ the TLA+ Toolbox, which is the GUI commonly used
with TLA+.

* gnu/packages/java.scm (tla2tools): New variable.
* gnu/packages/patches/tla2tools-build-xml.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Add it.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-05-05 16:56:46 +02:00
..
4store-fix-buildsystem.patch
4store-unset-preprocessor-directive.patch
a2ps-CVE-2001-1593.patch
a2ps-CVE-2014-0466.patch
a2ps-CVE-2015-8107.patch
abcl-fix-build-xml.patch
abiword-explictly-cast-bools.patch
ableton-link-system-libraries-debian.patch
abseil-cpp-fix-gtest.patch
abseil-cpp-fix-strerror_test.patch
adb-add-libraries.patch
aegis-constness-error.patch
aegis-perl-tempdir1.patch
aegis-perl-tempdir2.patch
aegis-test-fixup-1.patch
aegis-test-fixup-2.patch
aegisub-boost68.patch
aegisub-icu59-include-unistr.patch
aegisub-make43.patch
agg-am_c_prototype.patch
akonadi-not-relocatable.patch
akonadi-paths.patch
akonadi-timestamps.patch
allegro-mesa-18.2.5-and-later.patch
amule-crypto-6.patch
anki-mpv-args.patch
antiword-CVE-2014-8123.patch
antlr3-3_1-fix-java8-compilation.patch
antlr3-3_3-fix-java8-compilation.patch
apr-skip-getservbyname-test.patch
aspell-default-dict-dir.patch
ath9k-htc-firmware-binutils.patch
ath9k-htc-firmware-gcc.patch
ath9k-htc-firmware-objcopy.patch
audacity-add-include.patch
audacity-build-with-system-portaudio.patch
audiofile-check-number-of-coefficients.patch
audiofile-CVE-2015-7747.patch
audiofile-CVE-2018-13440.patch
audiofile-CVE-2018-17095.patch
audiofile-division-by-zero.patch
audiofile-Fail-on-error-in-parseFormat.patch
audiofile-fix-datatypes-in-tests.patch
audiofile-Fix-index-overflow-in-IMA.cpp.patch
audiofile-fix-sign-conversion.patch
audiofile-function-signature.patch
audiofile-hurd.patch
audiofile-multiply-overflow.patch
audiofile-overflow-in-MSADPCM.patch
automake-skip-amhello-tests.patch
avahi-localstatedir.patch
avidemux-install-to-lib.patch
awesome-reproducible-png.patch
aws-c-cal-cmake-prefix.patch
aws-c-event-stream-cmake-prefix.patch
aws-c-io-cmake-prefix.patch
aws-c-io-disable-networking-tests.patch
aws-checksums-cmake-prefix.patch
azr3.patch
bash-completion-directories.patch
bash-linux-pgrp-pipe.patch
bash-reproducible-linux-pgrp-pipe.patch
bastet-change-source-of-unordered_set.patch
bazaar-CVE-2017-14176.patch
bc-fix-cross-compilation.patch
beancount-disable-googleapis-fonts.patch
bear-disable-preinstall-tests.patch
beets-werkzeug-compat.patch
behave-skip-a-couple-of-tests.patch
beignet-correct-file-names.patch
biber-fix-encoding-write.patch
biber-sortinithash.patch
bidiv-update-fribidi.patch
binutils-boot-2.20.1a.patch
binutils-loongson-workaround.patch
binutils-mingw-w64-deterministic.patch
binutils-mingw-w64-timestamp.patch
blender-2.79-gcc8.patch
blender-2.79-gcc9.patch
blender-2.79-newer-ffmpeg.patch
blender-2.79-oiio2.patch
blender-2.79-python-3.7-fix.patch
blender-2.79-python-3.8-fix.patch
bpftrace-disable-bfd-disasm.patch
bsd-games-2.17-64bit.patch
bsd-games-add-configure-config.patch
bsd-games-add-wrapper.patch
bsd-games-bad-ntohl-cast.patch
bsd-games-dont-install-empty-files.patch
bsd-games-gamescreen.h.patch
bsd-games-getline.patch
bsd-games-null-check.patch
bsd-games-number.c-and-test.patch
bsd-games-prevent-name-collisions.patch
bsd-games-stdio.h.patch
bsdiff-CVE-2014-9862.patch
byobu-writable-status.patch
c++-gsl-find-system-gtest.patch
cairo-CVE-2018-19876.patch
cairo-CVE-2020-35492.patch
calibre-no-updates-dialog.patch
calibre-remove-test-sqlite.patch
calibre-remove-test-unrar.patch
casync-renameat2-declaration.patch
catdoc-CVE-2017-11110.patch
cdparanoia-fpic.patch
cdrtools-3.01-mkisofs-isoinfo.patch
ceph-disable-cpu-optimizations.patch
chez-scheme-build-util-paths-backport.patch
chmlib-inttypes.patch
circos-remove-findbin.patch
cl-asdf-config-directories.patch
clamav-config-llvm-libs.patch
clamav-system-tomsfastmath.patch
clang-3.5-libc-search-path.patch
clang-3.5-libsanitizer-ustat-fix.patch
clang-3.8-libc-search-path.patch
clang-6.0-libc-search-path.patch
clang-7.0-libc-search-path.patch
clang-9.0-libc-search-path.patch
clang-10.0-libc-search-path.patch
clang-11.0-libc-search-path.patch
clang-12-tools-extra-directory.patch
clang-runtime-3.5-libsanitizer-mode-field.patch
clang-runtime-3.8-libsanitizer-mode-field.patch
clang-runtime-3.9-libsanitizer-mode-field.patch
clang-runtime-9-libsanitizer-mode-field.patch
clang-runtime-asan-build-fixes.patch
clang-runtime-esan-build-fixes.patch
classpath-aarch64-support.patch
clucene-contribs-lib.patch
clucene-pkgconfig.patch
cmake-curl-certificates.patch
coda-use-system-libs.patch
collectd-5.11.0-noinstallvar.patch
combinatorial-blas-awpm.patch
combinatorial-blas-io-fix.patch
coreutils-ls.patch
cpufrequtils-fix-aclocal.patch
crawl-upgrade-saves.patch
crda-optional-gcrypt.patch
cube-nocheck.patch
curl-7.76-use-ssl-cert-env.patch
curl-use-ssl-cert-env.patch
cursynth-wave-rand.patch
cvs-CVE-2017-12836.patch
cyrus-sasl-ac-try-run-fix.patch
cyrus-sasl-CVE-2019-19906.patch
date-output-pkg-config-files.patch
datefudge-gettimeofday.patch
dbacl-include-locale.h.patch
dbus-c++-gcc-compat.patch
dbus-c++-threading-mutex.patch
dbus-CVE-2020-12049.patch
dbus-helper-search-path.patch
dbxfs-remove-sentry-sdk.patch
debops-constants-for-external-program-names.patch
debops-debops-defaults-fall-back-to-less.patch
dee-vapi.patch
desmume-gcc6-fixes.patch
desmume-gcc7-fixes.patch
dfu-programmer-fix-libusb.patch
diffutils-gets-undeclared.patch
dkimproxy-add-ipv6-support.patch
doc++-include-directives.patch
doc++-segfault-fix.patch
docbook-xsl-nonrecursive-string-subst.patch
docker-fix-tests.patch
dovecot-trees-support-dovecot-2.3.patch
doxygen-1.8.17-runtests.patch
doxygen-test.patch
dstat-fix-crash-when-specifying-delay.patch
dstat-skip-devices-without-io.patch
dune-istl-2.7-fix-non-mpi-tests.patch
dvd+rw-tools-add-include.patch
ecl-16-format-directive-limit.patch
ecl-16-ignore-stderr-write-error.patch
ecl-16-libffi.patch
efibootmgr-remove-extra-decl.patch
eigen-remove-openmp-error-counting.patch
eigen-stabilise-sparseqr-test.patch
einstein-build.patch
elfutils-tests-ptrace.patch
elixir-path-length.patch
elm-compiler-disable-reactor.patch
elm-compiler-fix-map-key.patch
emacs-exec-path.patch
emacs-exwm-fix-fullscreen-states.patch
emacs-fix-scheme-indent-function.patch
emacs-geiser-autoload-activate-implementation.patch
emacs-geiser-guile-auto-activate.patch gnu: Add emacs-geiser-guile. 2021-05-01 15:56:41 +02:00
emacs-highlight-stages-add-gexp.patch
emacs-hyperbole-toggle-messaging.patch
emacs-ignore-empty-xim-styles.patch
emacs-json-reformat-fix-tests.patch
emacs-libgit-use-system-libgit2.patch
emacs-source-date-epoch.patch
emacs-telega-patch-server-functions.patch
emacs-telega-test-env.patch
emacs-wordnut-require-adaptive-wrap.patch
enjarify-setup-py.patch
enlightenment-fix-setuid-path.patch
erlang-man-path.patch
eudev-rules-directory.patch
evilwm-lost-focus-bug.patch
evolution-CVE-2020-11879.patch
evolution-data-server-CVE-2020-14928.patch
evolution-data-server-CVE-2020-16117.patch
evolution-data-server-libical-compat.patch
evolution-data-server-locales.patch
exercism-disable-self-update.patch
extempore-unbundle-external-dependencies.patch
extundelete-e2fsprogs-1.44.patch
farstream-make.patch
fastcap-mulGlobal.patch
fastcap-mulSetup.patch
fasthenry-spAllocate.patch
fasthenry-spBuild.patch
fasthenry-spFactor.patch
fasthenry-spSolve.patch
fasthenry-spUtils.patch
fbreader-curl-7.62.patch
fifengine-swig-compat.patch
fifo-map-fix-flags-for-gcc.patch
fifo-map-remove-catch.hpp.patch
findutils-localstatedir.patch
findutils-test-rwlock-threads.patch
flann-cmake-3.11.patch
fontconfig-hurd-path-max.patch
foobillard++-pkg-config.patch
foomatic-filters-CVE-2015-8327.patch
foomatic-filters-CVE-2015-8560.patch
fpc-reproducibility.patch
fplll-std-fenv.patch
freebayes-devendor-deps.patch
freedink-engine-fix-sdl-hints.patch
freeimage-unbundle.patch
fuse-overlapping-headers.patch
gajim-honour-GAJIM_PLUGIN_PATH.patch
ganeti-deterministic-manual.patch
ganeti-disable-version-symlinks.patch
ganeti-drbd-compat.patch
ganeti-haskell-pythondir.patch
ganeti-os-disk-size.patch
ganeti-preserve-PYTHONPATH.patch
ganeti-shepherd-master-failover.patch
ganeti-shepherd-support.patch
gash-utils-ls-test.patch
gawk-shell.patch
gcc-4-compile-with-gcc-5.patch
gcc-4.6-gnu-inline.patch
gcc-4.8-libsanitizer-fix.patch
gcc-4.9-libsanitizer-fix.patch
gcc-4.9-libsanitizer-mode-size.patch
gcc-4.9-libsanitizer-ustat.patch
gcc-4.9.3-mingw-gthr-default.patch
gcc-5-hurd.patch
gcc-5-source-date-epoch-1.patch
gcc-5-source-date-epoch-2.patch
gcc-5.0-libvtv-runpath.patch
gcc-6-arm-none-eabi-multilib.patch
gcc-6-cross-environment-variables.patch
gcc-6-fix-buffer-size.patch
gcc-6-fix-isl-includes.patch
gcc-6-libsanitizer-mode-size.patch
gcc-6-source-date-epoch-1.patch
gcc-6-source-date-epoch-2.patch
gcc-7-cross-environment-variables.patch
gcc-7-cross-mingw.patch
gcc-7-cross-toolexeclibdir.patch
gcc-7-libsanitizer-mode-size.patch
gcc-8-cross-environment-variables.patch
gcc-8-strmov-store-file-names.patch
gcc-9-asan-fix-limits-include.patch
gcc-9-strmov-store-file-names.patch
gcc-arm-bug-71399.patch
gcc-arm-link-spec-fix.patch
gcc-asan-missing-include.patch
gcc-boot-2.95.3.patch
gcc-boot-4.6.4.patch
gcc-cross-environment-variables.patch
gcc-fix-texi2pod.patch
gcc-libsanitizer-ustat.patch
gcc-libvtv-runpath.patch
gcc-strmov-store-file-names.patch
gd-brect-bounds.patch
gd-fix-tests-on-i686.patch
gdb-hurd.patch
gdk-pixbuf-CVE-2020-29385.patch
gdm-default-session.patch
geary-CVE-2020-24661.patch
genimage-signedness.patch
geoclue-config.patch
ghc-8.0-fall-back-to-madv_dontneed.patch
ghc-diff-swap-cover-args.patch
ghc-haddock-api-fix-haddock.patch
ghc-hpack-fix-tests.patch
ghc-microlens-aeson-fix-tests.patch
ghc-monad-par-fix-tests.patch
ghc-pandoc-fix-html-tests.patch
ghc-pandoc-fix-latex-test.patch
ghc-testsuite-dlopen-pie.patch
ghostscript-CVE-2020-15900.patch
ghostscript-freetype-compat.patch
ghostscript-no-header-creationdate.patch
ghostscript-no-header-id.patch
ghostscript-no-header-uuid.patch
glib-appinfo-watch.patch
glib-CVE-2021-27218.patch
glib-CVE-2021-27219-01.patch
glib-CVE-2021-27219-02.patch
glib-CVE-2021-27219-03.patch
glib-CVE-2021-27219-04.patch
glib-CVE-2021-27219-05.patch
glib-CVE-2021-27219-06.patch
glib-CVE-2021-27219-07.patch
glib-CVE-2021-27219-08.patch
glib-CVE-2021-27219-09.patch
glib-CVE-2021-27219-10.patch
glib-CVE-2021-27219-11.patch
glib-CVE-2021-27219-12.patch
glib-CVE-2021-27219-13.patch
glib-CVE-2021-27219-14.patch
glib-CVE-2021-27219-15.patch
glib-CVE-2021-27219-16.patch
glib-CVE-2021-27219-17.patch
glib-CVE-2021-27219-18.patch
glib-CVE-2021-28153.patch
glib-tests-timer.patch
glibc-2.27-git-fixes.patch
glibc-2.27-supported-locales.patch
glibc-2.28-git-fixes.patch
glibc-2.28-supported-locales.patch
glibc-2.29-git-updates.patch
glibc-2.29-supported-locales.patch
glibc-allow-kernel-2.6.32.patch
glibc-boot-2.2.5.patch
glibc-boot-2.16.0.patch
glibc-bootstrap-system-2.2.5.patch
glibc-bootstrap-system-2.16.0.patch
glibc-bootstrap-system.patch
glibc-CVE-2018-11236.patch
glibc-CVE-2018-11237.patch
glibc-CVE-2019-7309.patch
glibc-CVE-2019-9169.patch
glibc-CVE-2019-19126.patch
glibc-hidden-visibility-ldconfig.patch
glibc-hurd-clock_gettime_monotonic.patch
glibc-hurd-clock_t_centiseconds.patch
glibc-hurd-gettyent.patch
glibc-hurd-mach-print.patch
glibc-hurd-magic-pid.patch
glibc-hurd-signal-sa-siginfo.patch
glibc-ldd-powerpc.patch
glibc-ldd-x86_64.patch
glibc-locales-2.28.patch
glibc-locales.patch
glibc-reinstate-prlimit64-fallback.patch
glibc-supported-locales.patch
glibc-versioned-locpath.patch
gmp-arm-asm-nothumb.patch
gmp-faulty-test.patch
gnash-fix-giflib-version.patch
gnome-settings-daemon-gc.patch
gnome-shell-CVE-2020-17489.patch
gnome-shell-disable-test.patch
gnome-shell-theme.patch
gnome-todo-delete-esource-duplicate.patch
gnome-tweaks-search-paths.patch
gnupg-default-pinentry.patch
gnutls-cross.patch
gnutls-CVE-2021-20231.patch
gnutls-CVE-2021-20232.patch
gnutls-skip-trust-store-test.patch
go-skip-gc-test.patch
gobject-introspection-absolute-shlib-path.patch
gobject-introspection-cc.patch
gobject-introspection-girepository.patch
gpm-glibc-2.26.patch
gpodder-disable-updater.patch
gpsbabel-fix-i686-test.patch
grantlee-merge-theme-dirs.patch
grep-timing-sensitive-test.patch
grocsvs-dont-use-admiral.patch
gromacs-tinyxml2.patch
groovy-add-exceptionutilsgenerator.patch
grub-cross-system-i686.patch
grub-efi-fat-serial-number.patch
grub-setup-root.patch
grub-verifiers-Blocklist-fallout-cleanup.patch
gspell-dash-test.patch
gst-libav-64channels-stack-corruption.patch
gst-plugins-bad-fix-overflow.patch
gst-plugins-base-fix-id3v2-invalid-read.patch
gst-plugins-good-CVE-2021-3497.patch
gst-plugins-good-CVE-2021-3498.patch
gst-plugins-good-fix-test.patch
gst-plugins-ugly-fix-out-of-bound-reads.patch
gtk2-respect-GUIX_GTK2_IM_MODULE_FILE.patch
gtk2-respect-GUIX_GTK2_PATH.patch
gtk2-theme-paths.patch
gtk3-respect-GUIX_GTK3_IM_MODULE_FILE.patch
gtk3-respect-GUIX_GTK3_PATH.patch
gtkglext-disable-disable-deprecated.patch
gtksourceview-2-add-default-directory.patch
guile-1.8-cpp-4.5.patch
guile-2.2-default-utf8.patch
guile-2.2-skip-oom-test.patch
guile-2.2-skip-so-test.patch
guile-3.0-linux-syscalls.patch
guile-3.0-relocatable.patch
guile-default-utf8.patch
guile-emacs-fix-configure.patch
guile-fibers-destroy-peer-schedulers.patch
guile-gdbm-ffi-support-gdbm-1.14.patch
guile-linux-syscalls.patch
guile-present-coding.patch
guile-relocatable.patch
guile-rsvg-pkgconfig.patch
gvfs-add-support-for-libplist-2.2.patch
gzdoom-find-system-libgme.patch
gzdoom-search-in-installed-share.patch
hdf-eos2-build-shared.patch
hdf-eos2-fortrantests.patch
hdf-eos2-remove-gctp.patch
hdf-eos5-build-shared.patch
hdf-eos5-fix-szip.patch
hdf-eos5-fortrantests.patch
hdf-eos5-remove-gctp.patch
hdf4-architectures.patch
hdf4-reproducibility.patch
hdf4-shared-fortran.patch
hdf4-tirpc.patch
hdf5-config-date.patch
hplip-remove-imageprocessor.patch
http-parser-CVE-2020-8287.patch
hubbub-sort-entities.patch
hurd-cross.patch
hurd-xattr.patch
hydra-disable-darcs-test.patch
icecat-avoid-bundled-libraries.patch
icecat-makeicecat.patch
icecat-use-older-reveal-hidden-html.patch
icecat-use-system-graphite2+harfbuzz.patch
icecat-use-system-media-libs.patch
icedtea-6-extend-hotspot-aarch64-support.patch
icedtea-7-hotspot-aarch64-use-c++98.patch
icu4c-CVE-2020-10531.patch
id3lib-CVE-2007-4460.patch
id3lib-UTF16-writing-bug.patch
idris-disable-test.patch
ilmbase-fix-tests.patch
imagemagick-CVE-2020-27829.patch
imagemagick-ReadDCMImage-fix.patch
imagemagick-ReadDCMPixels-fix.patch
imagemagick-WriteTHUMBNAILImage-fix.patch
inetutils-hurd.patch
inkscape-poppler-0.76.patch
intel-xed-fix-nondeterminism.patch
intltool-perl-compatibility.patch
iputils-libcap-compat.patch
ipxe-reproducible-geniso.patch
irrlicht-use-system-libs.patch
isl-0.11.1-aarch64-support.patch
jacal-fix-texinfo.patch
jamvm-1.5.1-aarch64-support.patch
jamvm-1.5.1-armv7-support.patch
jamvm-2.0.0-aarch64-support.patch
jamvm-2.0.0-disable-branch-patching.patch
jamvm-2.0.0-opcode-guard.patch
java-antlr4-Add-standalone-generator.patch
java-antlr4-fix-code-too-large.java
java-apache-ivy-port-to-latest-bouncycastle.patch
java-commons-collections-fix-java8.patch
java-jeromq-fix-tests.patch
java-openjfx-build-jdk_version.patch
java-powermock-fix-java-files.patch
java-simple-xml-fix-tests.patch
java-svg-salamander-Fix-non-det.patch
java-tunnelvisionlabs-antlr-code-too-large.patch
java-xerces-bootclasspath.patch
java-xerces-build_dont_unzip.patch
java-xerces-xjavac_taskdef.patch
jfsutils-add-sysmacros.patch
jfsutils-include-systypes.patch
json-c-0.12-CVE-2020-12762.patch
json-c-0.13-CVE-2020-12762.patch
json-c-CVE-2020-12762.patch
jsoncpp-fix-inverted-case.patch
julia-SOURCE_DATE_EPOCH-mtime.patch
kdbusaddons-kinit-file-name.patch
kdiagram-Fix-missing-link-libraries.patch
kiki-level-selection-crash.patch
kiki-makefile.patch
kiki-missing-includes.patch
kiki-portability-64bit.patch
kinit-kdeinit-extra_libs.patch
kinit-kdeinit-libpath.patch
kio-search-smbd-on-PATH.patch
kmail-Fix-missing-link-libraries.patch
kmod-module-directory.patch
kmplayer-aarch64.patch
kmplayer-upstream_Fix-build-with-Qt-5.9.patch
kmscon-runtime-keymap-switch.patch
kobodeluxe-const-charp-conversion.patch
kobodeluxe-enemies-pipe-decl.patch
kobodeluxe-graphics-window-signed-char.patch
kobodeluxe-manpage-minus-not-hyphen.patch
kobodeluxe-midicon-segmentation-fault.patch
kobodeluxe-paths.patch
kodi-increase-test-timeout.patch
kodi-set-libcurl-ssl-parameters.patch
kodi-skip-test-449.patch
kpackage-allow-external-paths.patch
kpackage-fix-KF5PackageMacros.cmake.patch
laby-make-install.patch
lcalc-default-parameters-1.patch
lcalc-default-parameters-2.patch
lcalc-lcommon-h.patch
lcalc-using-namespace-std.patch
lcms-CVE-2018-16435.patch
ldc-bootstrap-disable-tests.patch
ldc-disable-phobos-tests.patch
ldns-drill-examples.patch
leela-zero-gtest.patch
less-hurd-path-max.patch
lib2geom-fix-tests.patch
liba52-enable-pic.patch
liba52-link-with-libm.patch
liba52-set-soname.patch
liba52-use-mtune-not-mcpu.patch
libbase-fix-includes.patch
libbase-use-own-logging.patch
libbonobo-activation-test-race.patch
libcaca-CVE-2021-3410-pt1.patch
libcaca-CVE-2021-3410-pt2.patch
libcanberra-sound-theme-freedesktop.patch
libcanberra-wayland-crash.patch
libcroco-CVE-2020-12825.patch
libcyaml-libyaml-compat.patch
libexpected-nofetch.patch
libffi-3.3-powerpc-fixes.patch
libffi-float128-powerpc64le.patch
libgeotiff-adapt-test-script-for-proj-6.2.patch
libgit2-mtime-0.patch
libgnome-encoding.patch
libgnomeui-utf8.patch
libjxr-fix-function-signature.patch
libjxr-fix-typos.patch
libksieve-Fix-missing-link-libraries.patch
libmad-armv7-thumb-pt1.patch
libmad-armv7-thumb-pt2.patch
libmad-length-check.patch
libmad-md_size.patch
libmad-mips-newgcc.patch
libmemcached-build-with-gcc7.patch
libmhash-hmac-fix-uaf.patch
libmp4v2-c++11.patch
libmpeg2-arm-private-symbols.patch
libmpeg2-global-symbol-test.patch
libmygpo-qt-fix-qt-5.11.patch
libmygpo-qt-missing-qt5-modules.patch
libofa-curl.diff
libofa-ftbfs-1.diff
libofa-ftbfs-2.diff
libotr-test-auth-fix.patch
libqalculate-3.8.0-libcurl-ssl-fix.patch
libquicktime-ffmpeg.patch
libssh2-CVE-2019-17498.patch
libtar-CVE-2013-4420.patch
libtgvoip-disable-sse2.patch
libtgvoip-disable-webrtc.patch
libtheora-config-guess.patch
libtirpc-hurd-client.patch
libtirpc-hurd.patch
libtommath-fix-linkage.patch
libtool-skip-tests2.patch
libusb-0.1-disable-tests.patch
libusb-for-axoloti.patch
libutils-add-includes.patch
libutils-remove-damaging-includes.patch
libvdpau-va-gl-unbundle.patch
libvirt-add-install-prefix.patch
libvirt-create-machine-cgroup.patch
libvpx-CVE-2016-2818.patch
libxslt-generated-ids.patch
libxt-guix-search-paths.patch
libziparchive-add-includes.patch
lierolibre-check-unaligned-access.patch
lierolibre-is-free-software.patch
lierolibre-newer-libconfig.patch
lierolibre-remove-arch-warning.patch
lierolibre-try-building-other-arch.patch
linbox-fix-pkgconfig.patch
linkchecker-tests-require-network.patch
linphone-desktop-without-sdk.patch
linux-libre-arm64-generic-pinebook-lcd.patch
linux-libre-support-for-Pinebook-Pro.patch
linux-pam-no-setfsuid.patch
lirc-localstatedir.patch
lirc-reproducible-build.patch
lksctp-tools-1.0.18-fix-header-file-name.patch
llhttp-bootstrap-CVE-2020-8287.patch
llvm-3.5-fix-clang-build-with-gcc5.patch
llvm-9-fix-bitcast-miscompilation.patch
llvm-9-fix-lpad-miscompilation.patch
llvm-9-fix-scev-miscompilation.patch
lm-sensors-hwmon-attrs.patch
localed-xorg-keyboard.patch
lrcalc-includes.patch
lsh-fix-x11-forwarding.patch
lsof-fatal-test-failures.patch
lua-CVE-2014-5461.patch
lua-liblua-so.patch
lua-pkgconfig.patch
lua51-liblua-so.patch
lua51-pkgconfig.patch
luajit-no_ldconfig.patch
luit-posix.patch
lvm2-static-link.patch
m4-gnulib-libio.patch
mailutils-fix-uninitialized-variable.patch
make-impure-dirs.patch
mariadb-CVE-2021-27928.patch
mars-install.patch
mars-sfml-2.3.patch
maven-enforcer-api-fix-old-dependencies.patch
maven-generate-component-xml.patch
maven-generate-javax-inject-named.patch
maxima-defsystem-mkdir.patch
mcrypt-CVE-2012-4409.patch
mcrypt-CVE-2012-4426.patch
mcrypt-CVE-2012-4527.patch
mesa-skip-tests.patch
mescc-tools-boot.patch
meson-for-build-rpath.patch
metabat-fix-compilation.patch
mhash-keygen-test-segfault.patch
mingw-w64-6.0.0-gcc.patch
mingw-w64-dlltool-temp-prefix.patch
mingw-w64-reproducible-gendef.patch
minimap2-aarch64-support.patch
minisat-friend-declaration.patch
minisat-install.patch
mit-krb5-hurd.patch
mit-krb5-qualify-short-hostnames.patch
module-init-tools-moduledir.patch
monero-use-system-miniupnpc.patch
mono-mdoc-timestamping.patch
mozjs17-aarch64-support.patch
mozjs24-aarch64-support.patch
mozjs38-pkg-config-version.patch
mozjs38-shell-version.patch
mozjs38-tracelogger.patch
mozjs38-version-detection.patch
mpc123-initialize-ao.patch
mpg321-CVE-2019-14247.patch
mrrescue-support-love-11.patch
mtools-mformat-uninitialized.patch
mumps-build-parallelism.patch
mumps-shared-libseq.patch
mumps-shared-mumps.patch
mumps-shared-pord.patch
mupdf-CVE-2021-3407.patch
mupdf-fix-linkage.patch
mupen64plus-ui-console-notice.patch
mupen64plus-video-z64-glew-correct-path.patch
musl-cross-locale.patch
mutt-store-references.patch
ncompress-fix-softlinks.patch
netcdf-date-time.patch
netpbm-CVE-2017-2586.patch
netpbm-CVE-2017-2587.patch
netsurf-longer-test-timeout.patch
netsurf-message-timestamp.patch
netsurf-system-utf8proc.patch
netsurf-y2038-tests.patch
network-manager-plugin-path.patch
nfs4-acl-tools-0.3.7-fixpaths.patch
nginx-socket-cloexec.patch
ngircd-handle-zombies.patch
nsis-env-passthru.patch
nss-3.56-pkgconfig.patch
nss-increase-test-timeout.patch
ntfs-3g-CVE-2019-9755.patch
nvi-assume-preserve-path.patch
nvi-db4.patch
nvi-dbpagesize-binpower.patch
nyacc-binary-literals.patch
obs-modules-location.patch
ocaml-Add-a-.file-directive.patch
ocaml-bitstring-fix-configure.patch
ocaml-cairo2-caml_ba_array-fix.patch
ocaml-CVE-2015-8869.patch
ocaml-dose3-add-unix-dependency.patch
ocaml-dose3-dont-make-printconf.patch
ocaml-dose3-Fix-for-ocaml-4.06.patch
ocaml-dose3-Install-mli-cmx-etc.patch
ocaml-enable-ocamldoc-reproducibility.patch
omake-fix-non-determinism.patch
open-zwave-hidapi.patch
openbabel-fix-crash-on-nwchem-output.patch
opencascade-oce-glibc-2.26.patch
opencv-fix-build-of-grfmt_jpeg2000.cpp.patch
opencv-rgbd-aarch64-test-fix.patch
openfoam-4.1-cleanup.patch
openjdk-10-idlj-reproducibility.patch
openjdk-14-builtins.patch
openmpi-mtl-priorities.patch
openresolv-restartcmd-guix.patch
opensles-add-license-file.patch
openssh-hurd.patch
openssl-1.1-c-rehash-in.patch
openssl-c-rehash-in.patch
openssl-CVE-2019-1559.patch
openssl-runpath.patch
orpheus-cast-errors-and-includes.patch
osip-CVE-2017-7853.patch
ots-no-include-missing-file.patch
owncloud-disable-updatecheck.patch
p7zip-CVE-2016-9296.patch
p7zip-CVE-2017-17969.patch
p7zip-remove-unused-code.patch
pam-krb5-CVE-2020-10595.patch
pango-skip-libthai-test.patch
patch-hurd-path-max.patch
patchutils-test-perms.patch
pciutils-hurd-configure.patch
pciutils-hurd-fix.patch
perl-autosplit-default-time.patch
perl-cross.patch
perl-deterministic-ordering.patch
perl-finance-quote-unuse-mozilla-ca.patch
perl-io-socket-ssl-openssl-1.0.2f-fix.patch
perl-module-pluggable-search.patch
perl-net-amazon-s3-moose-warning.patch
perl-net-dns-resolver-programmable-fix.patch
perl-no-sys-dirs.patch
perl-reproducible-build-date.patch
perl-text-markdown-discount-unbundle.patch
perl-www-curl-fix-struct-void.patch
perl-www-curl-remove-symbol.patch
picard-fix-id3-rename-test.patch
picprog-non-intel-support.patch
pidgin-add-search-path.patch
pinball-const-fix.patch
pinball-cstddef.patch
pinball-missing-separators.patch
pinball-src-deps.patch
pinball-system-ltdl.patch
pingus-boost-headers.patch
pingus-sdl-libs-config.patch
pixman-CVE-2016-5296.patch
pjproject-correct-the-cflags-field.patch
pjproject-fix-pkg-config-ldflags.patch
plasma-framework-fix-KF5PlasmaMacros.cmake.patch
plib-CVE-2011-4620.patch
plib-CVE-2012-4552.patch
plink-1.07-unclobber-i.patch
plink-endian-detection.patch
plotutils-spline-test.patch
portaudio-audacity-compat.patch
portmidi-modular-build.patch
postgresql-disable-resolve_symlinks.patch
ppsspp-disable-upgrade-and-gold.patch
procmail-ambiguous-getline-debian.patch
procmail-CVE-2014-3618.patch
procmail-CVE-2017-16844.patch
proot-test-fhs.patch
psm-arch.patch
psm-disable-memory-stats.patch
psm-ldflags.patch
psm-repro.patch
pulseaudio-fix-mult-test.patch
pulseaudio-longer-test-timeout.patch
pulseview-qt515-compat.patch
purescript-relax-dependencies.patch
pybugz-encode-error.patch
pybugz-stty.patch
pygpgme-disable-problematic-tests.patch
pypy3-7.3.1-fix-tests.patch
pyqt-configure.patch
python-2-deterministic-build-info.patch
python-2.7-adjust-tests.patch
python-2.7-CVE-2021-3177.patch
python-2.7-search-paths.patch
python-2.7-site-prefixes.patch
python-2.7-source-date-epoch.patch
python-3-arm-alignment.patch
python-3-deterministic-build-info.patch
python-3-fix-tests.patch
python-3-search-paths.patch
python-3.8-CVE-2021-3177.patch
python-3.8-fix-tests.patch
python-3.9-fix-tests.patch
python-aionotify-0.2.0-py3.8.patch
python-argcomplete-1.11.1-fish31.patch
python-axolotl-AES-fix.patch
python-configobj-setuptools.patch
python-cross-compile.patch
python-CVE-2018-14647.patch
python-CVE-2020-26116.patch
python-flask-restful-werkzeug-compat.patch
python-flint-includes.patch
python-keras-integration-test.patch
python-libxml2-utf8.patch
python-matplotlib-run-under-wayland-gtk3.patch
python-mediafile-wavpack.patch
python-memcached-syntax-warnings.patch
python-mox3-python3.6-compat.patch
python-onnx-use-system-googletest.patch
python-packaging-test-arch.patch
python-paste-remove-timing-test.patch
python-pep8-stdlib-tokenize-compat.patch
python-pycrypto-CVE-2013-7459.patch
python-pycrypto-time-clock.patch
python-pydot-regression-test.patch
python-pyfakefs-remove-bad-test.patch
python-pygpgme-fix-pinentry-tests.patch
python-robotframework-source-date-epoch.patch
python-testtools.patch
python-unittest2-python3-compat.patch
python-unittest2-remove-argparse.patch
python-waitress-fix-tests.patch
python2-larch-coverage-4.0a6-compatibility.patch
python2-parameterized-docstring-test.patch
python2-pygobject-2-deprecation.patch
python2-subprocess32-disable-input-test.patch
qemu-build-info-manual.patch
qemu-CVE-2021-20203.patch
qemu-glibc-2.27.patch
qemu-glibc-2.30.patch
qpdfview-qt515-compat.patch
qrcodegen-cpp-make-install.patch
qt4-ldflags.patch
qtbase-absolute-runpath.patch
qtbase-moc-ignore-gcc-macro.patch
qtbase-use-TZDIR.patch
qtscript-disable-tests.patch
qtwebkit-pbutils-include.patch
quagga-reproducible-build.patch
quassel-qt-514-compat.patch
quickswitch-fix-dmenu-check.patch
r-httpuv-1.5.5-unvendor-libuv.patch
racket-sh-via-rktio.patch
randomjungle-disable-static-build.patch
rapicorn-isnan.patch
rapidjson-gcc-compat.patch
raptor2-heap-overflow.patch
ratpoints-sturm_and_rp_private.patch
ratpoison-shell.patch
rcs-5.10.0-no-stdin.patch
rct-add-missing-headers.patch
readline-6.2-CVE-2014-2524.patch
readline-link-ncurses.patch
remake-impure-dirs.patch
renpy-use-system-fribidi.patch
reposurgeon-add-missing-docbook-files.patch
retroarch-LIBRETRO_DIRECTORY.patch
ri-li-modernize_cpp.patch
ripperx-missing-file.patch
rnp-add-version.cmake.patch
rnp-disable-ruby-rnp-tests.patch
rnp-unbundle-googletest.patch
rpcbind-CVE-2017-8779.patch
rtags-separate-rct.patch
ruby-sanitize-system-libxml.patch
rust-1.19-mrustc.patch
rust-1.25-accept-more-detailed-gdb-lines.patch
rust-1.30-gdb-llvm.patch
rust-1.45-linker-locale.patch
rust-1.48-linker-locale.patch
rust-bootstrap-stage0-test.patch
rust-coresimd-doctest.patch
rust-ndarray-remove-blas-src-dep.patch
rust-nettle-disable-vendor.patch
rust-nettle-sys-disable-vendor.patch
rust-openssl-sys-no-vendor.patch
rust-reproducible-builds.patch
rxvt-unicode-escape-sequences.patch
samba-fix-fcntl-hint-detection.patch
sbc-fix-build-non-x86.patch
sbcl-clml-fix-types.patch
scalapack-blacs-mpi-deprecations.patch
scheme48-tests.patch
scotch-build-parallelism.patch
scotch-integer-declarations.patch
screen-CVE-2021-26937.patch
screen-hurd-path-max.patch
sdcc-disable-non-free-code.patch
sdl-libx11-1.6.patch
sdl-pango-api_additions.patch
sdl-pango-blit_overflow.patch
sdl-pango-fillrect_crash.patch
sdl-pango-header-guard.patch
sdl-pango-matrix_declarations.patch
sdl-pango-sans-serif.patch
seed-webkit.patch
seq24-rename-mutex.patch
serf-python3.patch
shadow-hurd-pctrl.patch
shakespeare-spl-fix-grammar.patch
sharutils-CVE-2018-1000097.patch
shishi-fix-libgcrypt-detection.patch
slim-config.patch
slim-display.patch
slim-login.patch
slim-reset.patch
slim-session.patch
slim-sigusr1.patch
smalltalk-multiplication-overflow.patch
snappy-add-O2-flag-in-CmakeLists.txt.patch
sphinxbase-fix-doxygen.patch
sqlite-hurd.patch
sssd-fix-samba.patch
sssd-system-directories.patch
steghide-fixes.patch
streamlink-update-test.patch
suitesparse-mongoose-cmake.patch
sunxi-tools-remove-sys-io.patch
superlu-dist-awpm-grid.patch
superlu-dist-scotchmetis.patch
supertux-unbundle-squirrel.patch
swish-e-format-security.patch
swish-e-search.patch
symmetrica-bruch.patch
symmetrica-int32.patch
symmetrica-return_values.patch
symmetrica-sort_sum_rename.patch
t1lib-CVE-2010-2642.patch
t1lib-CVE-2011-0764.patch
t1lib-CVE-2011-1552+.patch
t4k-common-libpng16.patch
tao-add-missing-headers.patch
tao-fix-parser-types.patch
tar-remove-wholesparse-check.patch
tar-skip-unreliable-tests.patch
tcc-boot-0.9.27.patch
tcl-fix-cross-compilation.patch
tclxml-3.2-install.patch
tcsh-fix-autotest.patch
teensy-loader-cli-help.patch
telegram-purple-adjust-test.patch
telepathy-glib-channel-memory-leak.patch
texi2html-document-encoding.patch
texi2html-i18n.patch
texinfo-5-perl-compat.patch
texlive-bin-poppler-0.83.patch
texlive-bin-poppler-0.86.patch
thefuck-test-environ.patch
tidy-CVE-2015-5522+5523.patch
tinyxml-use-stl.patch
tipp10-disable-downloader.patch
tipp10-fix-compiling.patch
tipp10-qt5.patch
tipp10-remove-license-code.patch
tk-find-library.patch
tla2tools-build-xml.patch gnu: Add tla2tools. 2021-05-05 16:56:46 +02:00
transcode-ffmpeg.patch
transmission-honor-localedir.patch
ttf2eot-cstddef.patch
tup-unbundle-dependencies.patch
tuxpaint-stamps-path.patch
twinkle-bcg729.patch
u-boot-riscv64-fix-extlinux.patch
u-boot-rockchip-inno-usb.patch gnu: u-boot: Patch to fix boot regressions for some platforms. 2021-05-01 14:12:08 -07:00
ucx-tcp-iface-ioctl.patch
udiskie-no-appindicator.patch
ungoogled-chromium-extension-search-path.patch
unison-fix-ocaml-4.08.patch
unknown-horizons-python-3.8-distro.patch
unzip-32bit-zipbomb-fix.patch
unzip-allow-greater-hostver-values.patch
unzip-alt-iconv-utf8-print.patch
unzip-alt-iconv-utf8.patch
unzip-attribs-overflow.patch
unzip-case-insensitive.patch
unzip-close.patch
unzip-COVSCAN-fix-unterminated-string.patch
unzip-CVE-2014-8139.patch
unzip-CVE-2014-8140.patch
unzip-CVE-2014-8141.patch
unzip-CVE-2014-9636.patch
unzip-CVE-2015-7696.patch
unzip-CVE-2015-7697.patch
unzip-CVE-2016-9844.patch
unzip-CVE-2018-18384.patch
unzip-CVE-2018-1000035.patch
unzip-exec-shield.patch
unzip-fix-recmatch.patch
unzip-format-secure.patch
unzip-initialize-symlink-flag.patch
unzip-manpage-fix.patch
unzip-overflow-long-fsize.patch
unzip-overflow-on-invalid-input.patch
unzip-overflow.patch
unzip-remove-build-date.patch
unzip-timestamp.patch
unzip-valgrind.patch
unzip-x-option.patch
unzip-zipbomb-manpage.patch
unzip-zipbomb-part1.patch
unzip-zipbomb-part2.patch
unzip-zipbomb-part3.patch
upower-builddir.patch
upx-CVE-2021-20285.patch
ustr-fix-build-with-gcc-5.patch
util-linux-tests.patch
valgrind-enable-arm.patch
vboot-utils-fix-format-load-address.patch
vboot-utils-fix-tests-show-contents.patch
vboot-utils-skip-test-workbuf.patch
vigra-python-compat.patch
vinagre-newer-freerdp.patch
vinagre-newer-rdp-parameters.patch
virglrenderer-CVE-2017-6386.patch
vsearch-unbundle-cityhash.patch
vte-CVE-2012-2738-pt1.patch
vte-CVE-2012-2738-pt2.patch
vtk-fix-freetypetools-build-failure.patch
warsow-qfusion-fix-bool-return-type.patch
webkitgtk-bind-all-fonts.patch
webkitgtk-share-store.patch
websocketpp-fix-for-cmake-3.15.patch
wgetpaste-update-bpaste.patch
wicd-bitrate-none-fix.patch
wicd-get-selected-profile-fix.patch
wicd-urwid-1.3.patch
wicd-wpa2-ttls.patch
widelands-system-wide_minizip.patch
wmctrl-64-fix.patch
wmfire-update-for-new-gdk-versions.patch
wordnet-CVE-2008-2149.patch
wordnet-CVE-2008-3908-pt1.patch
wordnet-CVE-2008-3908-pt2.patch
wpa-supplicant-CVE-2021-27803.patch
wpa-supplicant-CVE-2021-30004.patch
x265-arm-flags.patch
xf86-video-ark-remove-mibstore.patch
xf86-video-mach64-glibc-2.20.patch
xf86-video-savage-xorg-compat.patch
xf86-video-siliconmotion-fix-ftbfs.patch
xf86-video-tga-remove-mibstore.patch
xf86-video-voodoo-pcitag.patch
xfce4-panel-plugins.patch
xfce4-settings-defaults.patch
xmonad-dynamic-linking.patch
xplanet-1.3.1-cxx11-eof.patch
xplanet-1.3.1-libdisplay_DisplayOutput.cpp.patch
xplanet-1.3.1-libimage_gif.c.patch
xplanet-1.3.1-xpUtil-Add2017LeapSecond.cpp.patch
xpra-4.0.1-systemd-run.patch
xsane-fix-memory-leak.patch
xsane-fix-pdf-floats.patch
xsane-fix-snprintf-buffer-length.patch
xsane-support-ipv6.patch
xsane-tighten-default-umask.patch
yggdrasil-extra-config.patch
ytnef-CVE-2021-3403.patch
ytnef-CVE-2021-3404.patch
zstd-CVE-2021-24031_CVE-2021-24032.patch
zziplib-CVE-2018-16548.patch