Agda

Package information

State
ok

Scheduler parameters

Tracked by Koschei
True
Current priority
1598
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

glibc
2.41.9000-10.fc43
2.41.9000-11.fc43
2
glibc-gconv-extra
2.41.9000-10.fc43
2.41.9000-11.fc43
3
libgcc
15.0.1-0.13.fc43
15.1.1-1.fc43
3
gcc
15.0.1-0.13.fc43
15.1.1-1.fc43
3
glibc-common
2.41.9000-10.fc43
2.41.9000-11.fc43
3
glibc-minimal-langpack
2.41.9000-10.fc43
2.41.9000-11.fc43
3
redhat-rpm-config
343-3.fc43
343-4.fc43
3
libgccjit
15.0.1-0.13.fc43
15.1.1-1.fc43
3
gcc-plugin-annobin
15.0.1-0.13.fc43
15.1.1-1.fc43
4
libstdc++
15.0.1-0.13.fc43
15.1.1-1.fc43
4
cpp
15.0.1-0.13.fc43
15.1.1-1.fc43
4
tree-sitter-srpm-macros
0.2.2-1.fc43
0.2.4-1.fc43
4
glibc-devel
2.41.9000-10.fc43
2.41.9000-11.fc43
4
libgomp
15.0.1-0.13.fc43
15.1.1-1.fc43
4
libtinysparql
3.9.1-2.fc43
3.9.2-1.fc43
4
gdb-minimal
16.2-3.fc43
16.3-1.fc43
B
fedora-release
43-0.13
43-0.15
B
fedora-release-common
43-0.13
43-0.15
B
libgpg-error
1.54-1.fc43
1.55-1.fc43
B
fedora-release-identity-basic
43-0.13
43-0.15
B

Groups

This package is not part of any global group.

Most recent builds

ghc-rpm-macros-extra
2.8.1-2.fc43
2.9.0-1.fc43
1
ghc-rpm-macros
2.8.1-2.fc43
2.9.0-1.fc43
2
glibc
2.41.9000-9.fc43
2.41.9000-10.fc43
2
glibc-common
2.41.9000-9.fc43
2.41.9000-10.fc43
3
harfbuzz
11.0.1-2.fc43
11.1.0-1.fc43
3
giflib
5.2.2-3.fc42
5.2.2-6.fc43
3
alsa-lib
1.2.13-4.fc42
1.2.14-2.fc43
3
libgcc
15.0.1-0.12.fc43
15.0.1-0.13.fc43
3
gcc
15.0.1-0.12.fc43
15.0.1-0.13.fc43
3
libgccjit
15.0.1-0.12.fc43
15.0.1-0.13.fc43
3
glibc-minimal-langpack
2.41.9000-9.fc43
2.41.9000-10.fc43
3
glibc-gconv-extra
2.41.9000-9.fc43
2.41.9000-10.fc43
3
google-noto-sans-mono-vf-fonts
20250301-1.fc43
20250401-1.fc43
3
filesystem
3.18-39.fc43
3.18-40.fc43
3
libwayland-client
1.23.0-3.fc42
1.23.1-1.fc43
4
libgomp
15.0.1-0.12.fc43
15.0.1-0.13.fc43
4
google-noto-fonts-common
20250301-1.fc43
20250401-1.fc43
4
filesystem-srpm-macros
3.18-39.fc43
3.18-40.fc43
4
libwayland-cursor
1.23.0-3.fc42
1.23.1-1.fc43
4
tree-sitter-srpm-macros
0.2.1-1.fc43
0.2.2-1.fc43
4
rpm
4.20.1-3.fc43
5.99.90-3.fc43
4
libwayland-egl
1.23.0-3.fc42
1.23.1-1.fc43
4
cpp
15.0.1-0.12.fc43
15.0.1-0.13.fc43
4
cups-libs
1:2.4.12-1.fc43
1:2.4.12-2.fc43
4
qt6-srpm-macros
6.9.0-1.fc43
6.9.0-2.fc43
4
libstdc++
15.0.1-0.12.fc43
15.0.1-0.13.fc43
4
gcc-plugin-annobin
15.0.1-0.12.fc43
15.0.1-0.13.fc43
4
glibc-devel
2.41.9000-9.fc43
2.41.9000-10.fc43
4
grep
3.11-10.fc42
3.12-1.fc43
4
crypto-policies
20250402-1.git86c0178....
20250402-2.git86c0178....
4
libcap
2.73-2.fc42
2.76-1.fc43
4
rpm-libs
4.20.1-3.fc43
5.99.90-3.fc43
B
gnupg2
2.4.7-3.fc43
B
kernel-headers
6.14.0-63.fc43
6.15.0-0.rc2.22.fc43
B
libksba
1.6.7-3.fc42
B
libassuan
2.5.7-3.fc42
B
openssl-libs
1:3.5.0-2.fc43
1:3.5.0-3.fc43
B
rpm-build-libs
4.20.1-3.fc43
5.99.90-3.fc43
B
libgcrypt
1.11.0-5.fc42
B
libfsverity
1.6-2.fc42
B
cups-filesystem
1:2.4.12-1.fc43
1:2.4.12-2.fc43
B
rpm-build
4.20.1-3.fc43
5.99.90-3.fc43
B
tpm2-tss
4.1.3-7.fc43
B
libgpg-error
1.54-1.fc43
B
npth
1.8-2.fc42
B
rpm-sign-libs
5.99.90-3.fc43
B
ima-evm-utils-libs
1.6.2-5.fc43
B
google-noto-sans-vf-fonts
20250301-1.fc43
20250401-1.fc43
B
ghc-haskeline-prof
0.8.2.1-146.fc43
0.8.2.1-148.fc43
1
ghc-containers-prof
0.6.7-146.fc43
0.6.8-148.fc43
1
ghc-split-prof
0.2.5-2.fc42
0.2.5-4.fc43
1
ghc-time-prof
1.12.2-146.fc43
1.12.2-148.fc43
1
ghc-parallel-devel
3.2.2.0-33.fc42
3.2.2.0-36.fc43
1
ghc-ansi-terminal-devel
1.0.2-6.fc42
1.1.2-8.fc43
1
ghc-array-devel
0.5.6.0-146.fc43
0.5.8.0-148.fc43
1
ghc-gitrev-prof
1.3.1-35.fc42
1.3.1-37.fc43
1
ghc-monad-control-devel
1.0.3.1-12.fc42
1.0.3.1-14.fc43
1
ghc-hashable-prof
1.4.4.0-2.fc42
1.4.7.0-5.fc43
1
ghc-zlib-devel
0.6.3.0-11.fc42
0.7.1.0-2.fc43
1
ghc-ghc-compact-prof
0.1.0.0-146.fc43
0.1.0.0-148.fc43
1
ghc-base-prof
4.18.2.1-146.fc43
4.19.2.0-148.fc43
1
happy
1.20.1.1-7.fc42
2.0.2-2.fc43
1
ghc-primitive-devel
0.8.0.0-7.fc42
0.9.0.0-2.fc43
1
ghc-unordered-containers-devel
0.2.20-2.fc42
0.2.20-5.fc43
1
ghc-process-prof
1.6.19.0-146.fc43
1.6.25.0-148.fc43
1
ghc-strict-devel
0.5-7.fc42
0.5.1-2.fc43
1
ghc-blaze-html-prof
0.9.2.0-2.fc42
0.9.2.0-3.fc43
1
ghc-indexed-traversable-devel
0.1.4-2.fc42
0.1.4-5.fc43
1
ghc-vector-prof
0.13.1.0-2.fc42
0.13.2.0-4.fc43
1
ghc-data-hash-prof
0.2.0.1-39.fc42
0.2.0.1-41.fc43
1
ghc-edit-distance-devel
0.2.2.1-42.fc42
0.2.2.1-44.fc43
1
ghc-base-devel
4.18.2.1-146.fc43
4.19.2.0-148.fc43
1
ghc-split-devel
0.2.5-2.fc42
0.2.5-4.fc43
1
ghc-equivalence-prof
0.4.1-10.fc42
0.4.1-12.fc43
1
ghc-haskeline-devel
0.8.2.1-146.fc43
0.8.2.1-148.fc43
1
ghc-indexed-traversable-prof
0.1.4-2.fc42
0.1.4-5.fc43
1
ghc-stm-devel
2.5.1.0-146.fc43
2.5.3.1-148.fc43
1
ghc-data-hash-devel
0.2.0.1-39.fc42
0.2.0.1-41.fc43
1
ghc-binary-prof
0.8.9.1-146.fc43
0.8.9.1-148.fc43
1
ghc-async-prof
2.2.5-2.fc42
2.2.5-5.fc43
1
ghc-strict-prof
0.5-7.fc42
0.5.1-2.fc43
1
ghc-directory-prof
1.3.8.5-146.fc43
1.3.8.5-148.fc43
1
ghc-hashable-devel
1.4.4.0-2.fc42
1.4.7.0-5.fc43
1
ghc-stm-prof
2.5.1.0-146.fc43
2.5.3.1-148.fc43
1
ghc-monad-control-prof
1.0.3.1-12.fc42
1.0.3.1-14.fc43
1
ghc-bytestring-prof
0.11.5.3-146.fc43
0.12.1.0-148.fc43
1
ghc-rpm-macros-extra
2.8.1-1.fc43
2.8.1-2.fc43
1
ghc-filepath-devel
1.4.300.1-146.fc43
1.4.301.0-148.fc43
1
ghc-uri-encode-devel
1.5.0.7-17.fc42
1.5.0.7-19.fc43
1
ghc-gitrev-devel
1.3.1-35.fc42
1.3.1-37.fc43
1
ghc-exceptions-prof
0.10.7-146.fc43
0.10.7-148.fc43
1
ghc-pretty-devel
1.1.3.6-146.fc43
1.1.3.6-148.fc43
1
ghc-zlib-prof
0.6.3.0-11.fc42
0.7.1.0-2.fc43
1
ghc-pretty-prof
1.1.3.6-146.fc43
1.1.3.6-148.fc43
1
ghc-bytestring-devel
0.11.5.3-146.fc43
0.12.1.0-148.fc43
1
ghc-case-insensitive-devel
1.2.1.0-20.fc42
1.2.1.0-22.fc43
1
ghc-uri-encode-prof
1.5.0.7-17.fc42
1.5.0.7-19.fc43
1
ghc-exceptions-devel
0.10.7-146.fc43
0.10.7-148.fc43
1
ghc-containers-devel
0.6.7-146.fc43
0.6.8-148.fc43
1
ghc-mtl-prof
2.3.1-146.fc43
2.3.1-148.fc43
1
ghc-edit-distance-prof
0.2.2.1-42.fc42
0.2.2.1-44.fc43
1
ghc-transformers-prof
0.6.1.0-146.fc43
0.6.1.0-148.fc43
1
ghc-Cabal-devel
3.10.3.0-146.fc43
3.10.3.0-148.fc43
1
ghc-directory-devel
1.3.8.5-146.fc43
1.3.8.5-148.fc43
1
ghc-aeson-prof
2.1.2.1-8.fc42
2.2.3.0-9.fc43
1
alex
3.4.0.1-2.fc42
3.5.2.0-2.fc43
1
ghc-boxes-prof
0.1.5-29.fc42
0.1.5-31.fc43
1
ghc-boxes-devel
0.1.5-29.fc42
0.1.5-31.fc43
1
ghc-array-prof
0.5.6.0-146.fc43
0.5.8.0-148.fc43
1
ghc-case-insensitive-prof
1.2.1.0-20.fc42
1.2.1.0-22.fc43
1
ghc-deepseq-prof
1.4.8.1-146.fc43
1.5.1.0-148.fc43
1
ghc-dlist-prof
1.0-14.fc42
1.0-16.fc43
1
ghc-text-prof
2.0.2-146.fc43
2.1.1-148.fc43
1
ghc-ansi-terminal-prof
1.0.2-6.fc42
1.1.2-8.fc43
1
ghc-transformers-devel
0.6.1.0-146.fc43
0.6.1.0-148.fc43
1
ghc-binary-devel
0.8.9.1-146.fc43
0.8.9.1-148.fc43
1
ghc-mtl-devel
2.3.1-146.fc43
2.3.1-148.fc43
1
dos2unix
7.5.2-3.fc42
1
ghc-unordered-containers-prof
0.2.20-2.fc42
0.2.20-5.fc43
1
ghc-text-devel
2.0.2-146.fc43
2.1.1-148.fc43
1
ghc-process-devel
1.6.19.0-146.fc43
1.6.25.0-148.fc43
1
ghc-deepseq-devel
1.4.8.1-146.fc43
1.5.1.0-148.fc43
1
ghc-STMonadTrans-devel
0.4.8-2.fc42
0.4.8-4.fc43
1
ghc-primitive-prof
0.8.0.0-7.fc42
0.9.0.0-2.fc43
1
ghc-parallel-prof
3.2.2.0-33.fc42
3.2.2.0-36.fc43
1
ghc-dlist-devel
1.0-14.fc42
1.0-16.fc43
1
ghc-blaze-html-devel
0.9.2.0-2.fc42
0.9.2.0-3.fc43
1
ghc-regex-tdfa-prof
1.3.2.2-2.fc42
1.3.2.3-2.fc43
1
ghc-filepath-prof
1.4.300.1-146.fc43
1.4.301.0-148.fc43
1
ghc-aeson-devel
2.1.2.1-8.fc42
2.2.3.0-9.fc43
1
ghc-time-devel
1.12.2-146.fc43
1.12.2-148.fc43
1
ghc-ghc-compact-devel
0.1.0.0-146.fc43
0.1.0.0-148.fc43
1
ghc-regex-tdfa-devel
1.3.2.2-2.fc42
1.3.2.3-2.fc43
1
ghc-equivalence-devel
0.4.1-10.fc42
0.4.1-12.fc43
1
ghc-STMonadTrans-prof
0.4.8-2.fc42
0.4.8-4.fc43
1
ghc-async-devel
2.2.5-2.fc42
2.2.5-5.fc43
1
ghc-vector-devel
0.13.1.0-2.fc42
0.13.2.0-4.fc43
1
ghc-parsec-devel
3.1.16.1-146.fc43
3.1.17.0-148.fc43
2
ghc-stm
2.5.1.0-146.fc43
2.5.3.1-148.fc43
2
ghc-async
2.2.5-2.fc42
2.2.5-5.fc43
2
ghc-regex-base-devel
0.94.0.2-12.fc42
0.94.0.3-2.fc43
2
ghc-blaze-html
0.9.2.0-2.fc42
0.9.2.0-3.fc43
2
ghc-scientific-prof
0.3.7.0-15.fc42
0.3.8.0-2.fc43
2
ghc-zlib
0.6.3.0-11.fc42
0.7.1.0-2.fc43
2
ghc-random-prof
1.2.1.2-2.fc42
1.2.1.3-4.fc43
2
ghc-transformers
0.6.1.0-146.fc43
0.6.1.0-148.fc43
2
ghc-integer-logarithms-devel
1.0.3.1-16.fc42
1.0.4-2.fc43
2
ghc-QuickCheck-prof
2.14.3-7.fc42
2.14.3-9.fc43
2
ghc-text-short-prof
0.1.6-2.fc42
0.1.6-5.fc43
2
ghc-data-hash
0.2.0.1-39.fc42
0.2.0.1-41.fc43
2
ghc-filepath
1.4.300.1-146.fc43
1.4.301.0-148.fc43
2
ghc-tagged-devel
0.8.8-2.fc42
0.8.8-4.fc43
2
ghc-uuid-types-devel
1.0.5.1-2.fc42
1.0.6-2.fc43
2
ghc-blaze-builder-prof
0.4.2.3-2.fc42
0.4.2.3-4.fc43
2
ghc-data-fix-devel
0.3.4-2.fc42
0.3.4-5.fc43
2
ghc-unordered-containers
0.2.20-2.fc42
0.2.20-5.fc43
2
ghc-mtl
2.3.1-146.fc43
2.3.1-148.fc43
2
ghc-aeson
2.1.2.1-8.fc42
2.2.3.0-9.fc43
2
ghc-binary
0.8.9.1-146.fc43
0.8.9.1-148.fc43
2
ghc-colour-prof
2.3.6-14.fc42
2.3.6-16.fc43
2
ghc-haskeline
0.8.2.1-146.fc43
0.8.2.1-148.fc43
2
ghc-bytestring
0.11.5.3-146.fc43
0.12.1.0-148.fc43
2
ghc-indexed-traversable
0.1.4-2.fc42
0.1.4-5.fc43
2
ghc-terminfo-prof
0.4.1.6-146.fc43
0.4.1.6-148.fc43
2
ghc-scientific-devel
0.3.7.0-15.fc42
0.3.8.0-2.fc43
2
ghc-ghc-bignum-devel
1.3-146.fc43
1.3-148.fc43
2
ghc-semialign-prof
1.3.1-8.fc42
1.3.1-9.fc43
2
ghc-witherable-prof
0.4.2-8.fc42
0.5-9.fc43
2
ghc-Cabal-syntax-devel
3.10.3.0-146.fc43
3.10.3.0-148.fc43
2
ghc-vector-stream-devel
0.1.0.1-2.fc42
0.1.0.1-4.fc43
2
ghc-th-abstraction-prof
0.5.0.0-2.fc42
0.7.1.0-2.fc43
2
ghc-compiler
9.6.6-146.fc43
9.8.4-148.fc43
2
ghc-generically-prof
0.1.1-8.fc42
0.1.1-9.fc43
2
ghc-dlist
1.0-14.fc42
1.0-16.fc43
2
ghc-OneTuple-devel
0.4.2-8.fc42
0.4.2-9.fc43
2
ghc-ansi-terminal-types-devel
0.11.5-6.fc42
1.1-8.fc43
2
ghc-template-haskell-prof
2.20.0.0-146.fc43
2.21.0.0-148.fc43
2
ghc-text
2.0.2-146.fc43
2.1.1-148.fc43
2
ghc-parallel
3.2.2.0-33.fc42
3.2.2.0-36.fc43
2
ghc-deepseq
1.4.8.1-146.fc43
1.5.1.0-148.fc43
2
ghc-unix-prof
2.8.4.0-146.fc43
2.8.6.0-148.fc43
2
ghc-split
0.2.5-2.fc42
0.2.5-4.fc43
2
ghc-uuid-types-prof
1.0.5.1-2.fc42
1.0.6-2.fc43
2
ghc-blaze-markup-prof
0.8.3.0-2.fc42
0.8.3.0-4.fc43
2
ghc-data-fix-prof
0.3.4-2.fc42
0.3.4-5.fc43
2
ghc-time
1.12.2-146.fc43
1.12.2-148.fc43
2
ghc-blaze-builder-devel
0.4.2.3-2.fc42
0.4.2.3-4.fc43
2
ghc-strict
0.5-7.fc42
0.5.1-2.fc43
2
ghc-regex-base-prof
0.94.0.2-12.fc42
0.94.0.3-2.fc43
2
ghc-transformers-base-prof
0.4.6-12.fc42
0.4.6-14.fc43
2
ghc-text-short-devel
0.1.6-2.fc42
0.1.6-5.fc43
2
ghc-base
4.18.2.1-146.fc43
4.19.2.0-148.fc43
2
ghc-base-compat-prof
0.13.1-2.fc42
0.13.1-4.fc43
2
ghc-time-compat-devel
1.9.6.1-10.fc42
1.9.7-2.fc43
2
ghc-rpm-macros
2.8.1-1.fc43
2.8.1-2.fc43
2
ghc-transformers-compat-devel
0.7.2-10.fc42
0.7.2-12.fc43
2
ghc-generically-devel
0.1.1-8.fc42
0.1.1-9.fc43
2
ghc-QuickCheck-devel
2.14.3-7.fc42
2.14.3-9.fc43
2
ghc-semialign-devel
1.3.1-8.fc42
1.3.1-9.fc43
2
ghc-gitrev
1.3.1-35.fc42
1.3.1-37.fc43
2
ghc-th-abstraction-devel
0.5.0.0-2.fc42
0.7.1.0-2.fc43
2
ghc-integer-logarithms-prof
1.0.3.1-16.fc42
1.0.4-2.fc43
2
ghc-ansi-terminal-types-prof
0.11.5-6.fc42
1.1-8.fc43
2
ghc-transformers-base-devel
0.4.6-12.fc42
0.4.6-14.fc43
2
ghc-network-uri-devel
2.6.4.2-10.fc42
2.6.4.2-12.fc43
2
ghc-primitive
0.8.0.0-7.fc42
0.9.0.0-2.fc43
2
ghc-boxes
0.1.5-29.fc42
0.1.5-31.fc43
2
ghc-ghc-compact
0.1.0.0-146.fc43
0.1.0.0-148.fc43
2
ghc-ghc-bignum-prof
1.3-146.fc43
1.3-148.fc43
2
ghc-witherable-devel
0.4.2-8.fc42
0.5-9.fc43
2
ghc-array
0.5.6.0-146.fc43
0.5.8.0-148.fc43
2
ghc-uri-encode
1.5.0.7-17.fc42
1.5.0.7-19.fc43
2
ghc-utf8-string-devel
1.0.2-15.fc42
1.0.2-17.fc43
2
ghc-utf8-string-prof
1.0.2-15.fc42
1.0.2-17.fc43
2
ghc-os-string-prof
2.0.6-2.fc42
2.0.7-5.fc43
2
ghc-Cabal
3.10.3.0-146.fc43
3.10.3.0-148.fc43
2
ghc-monad-control
1.0.3.1-12.fc42
1.0.3.1-14.fc43
2
ghc-terminfo-devel
0.4.1.6-146.fc43
0.4.1.6-148.fc43
2
ghc-parsec-prof
3.1.16.1-146.fc43
3.1.17.0-148.fc43
2
ghc-these-prof
1.2.1-2.fc42
1.2.1-5.fc43
2
ghc-blaze-markup-devel
0.8.3.0-2.fc42
0.8.3.0-4.fc43
2
ghc-transformers-compat-prof
0.7.2-10.fc42
0.7.2-12.fc43
2
ghc-process
1.6.19.0-146.fc43
1.6.25.0-148.fc43
2
ghc-directory
1.3.8.5-146.fc43
1.3.8.5-148.fc43
2
ghc-edit-distance
0.2.2.1-42.fc42
0.2.2.1-44.fc43
2
ghc-vector-stream-prof
0.1.0.1-2.fc42
0.1.0.1-4.fc43
2
ghc-assoc-devel
1.1.1-2.fc42
1.1.1-5.fc43
2
ghc-base-compat-devel
0.13.1-2.fc42
0.13.1-4.fc43
2
ghc-case-insensitive
1.2.1.0-20.fc42
1.2.1.0-22.fc43
2
ghc-OneTuple-prof
0.4.2-8.fc42
0.4.2-9.fc43
2
ghc-hashable
1.4.4.0-2.fc42
1.4.7.0-5.fc43
2
ghc-exceptions
0.10.7-146.fc43
0.10.7-148.fc43
2
ghc-equivalence
0.4.1-10.fc42
0.4.1-12.fc43
2
ghc-vector
0.13.1.0-2.fc42
0.13.2.0-4.fc43
2
ghc-colour-devel
2.3.6-14.fc42
2.3.6-16.fc43
2
ghc-template-haskell-devel
2.20.0.0-146.fc43
2.21.0.0-148.fc43
2
ghc-network-uri-prof
2.6.4.2-10.fc42
2.6.4.2-12.fc43
2
ghc-unix-devel
2.8.4.0-146.fc43
2.8.6.0-148.fc43
2
ghc-assoc-prof
1.1.1-2.fc42
1.1.1-5.fc43
2
ghc-STMonadTrans
0.4.8-2.fc42
0.4.8-4.fc43
2
ghc-tagged-prof
0.8.8-2.fc42
0.8.8-4.fc43
2
ghc-os-string-devel
2.0.6-2.fc42
2.0.7-5.fc43
2
ghc-these-devel
1.2.1-2.fc42
1.2.1-5.fc43
2
ghc-time-compat-prof
1.9.6.1-10.fc42
1.9.7-2.fc43
2
ghc-regex-tdfa
1.3.2.2-2.fc42
1.3.2.3-2.fc43
2
ghc-containers
0.6.7-146.fc43
0.6.8-148.fc43
2
ghc-pretty
1.1.3.6-146.fc43
1.1.3.6-148.fc43
2
ghc-random-devel
1.2.1.2-2.fc42
1.2.1.3-4.fc43
2
ghc-ansi-terminal
1.0.2-6.fc42
1.1.2-8.fc43
2
ghc-integer-conversion-devel
0.1.1-4.fc43
2
ghc-integer-conversion-prof
0.1.1-4.fc43
2
ghc-character-ps-devel
0.1-9.fc43
2
ghc-character-ps-prof
0.1-9.fc43
2
ghc-happy-lib-common
2.0.2-2.fc43
2
ghc-text-iso8601-prof
0.1.1-9.fc43
2
ghc-tasty-prof
1.5.3-25.fc43
2
ghc-tasty-devel
1.5.3-25.fc43
2
ghc-text-iso8601-devel
0.1.1-9.fc43
2
ghc-ghc
9.6.6-146.fc43
9.8.4-148.fc43
3
ghc-optparse-applicative-prof
0.18.1.0-5.fc43
3
ghc-character-ps
0.1-9.fc43
3
ghc-optparse-applicative
0.18.1.0-5.fc43
3
ghc-these
1.2.1-2.fc42
1.2.1-5.fc43
3
ghc-optparse-applicative-devel
0.18.1.0-5.fc43
3
ghc-base-orphans-devel
0.9.2-2.fc42
0.9.3-2.fc43
3
ghc-tasty
1.5.3-25.fc43
3
ghc-text-iso8601
0.1.1-9.fc43
3
ghc-indexed-traversable-instances
0.1.2-8.fc42
0.1.2-9.fc43
3
ghc-scientific
0.3.7.0-15.fc42
0.3.8.0-2.fc43
3
ghc-th-compat
0.1.5-2.fc42
0.1.6-2.fc43
3
ghc-blaze-markup
0.8.3.0-2.fc42
0.8.3.0-4.fc43
3
ghc-colour
2.3.6-14.fc42
2.3.6-16.fc43
3
ghc-random
1.2.1.2-2.fc42
1.2.1.3-4.fc43
3
ghc-template-haskell
2.20.0.0-146.fc43
2.21.0.0-148.fc43
3
ghc-distributive
0.6.2.1-16.fc42
0.6.2.1-18.fc43
3
ghc-assoc
1.1.1-2.fc42
1.1.1-5.fc43
3
ghc-semigroupoids
6.0.1-2.fc42
6.0.1-4.fc43
3
ghc-ghci
9.6.6-146.fc43
9.8.4-148.fc43
3
ghc-ansi-terminal-types
0.11.5-6.fc42
1.1-8.fc43
3
ghc-base-orphans
0.9.2-2.fc42
0.9.3-2.fc43
3
ghc-unix
2.8.4.0-146.fc43
2.8.6.0-148.fc43
3
ghc-ghc-boot
9.6.6-146.fc43
9.8.4-148.fc43
3
ghc-hpc
0.6.2.0-146.fc43
0.7.0.0-148.fc43
3
ghc-time-compat
1.9.6.1-10.fc42
1.9.7-2.fc43
3
ghc-ghc-bignum
1.3-146.fc43
1.3-148.fc43
3
ghc-base-compat
0.13.1-2.fc42
0.13.1-4.fc43
3
ghc-text-short
0.1.6-2.fc42
0.1.6-5.fc43
3
ghc-generically
0.1.1-8.fc42
0.1.1-9.fc43
3
ghc-semialign
1.3.1-8.fc42
1.3.1-9.fc43
3
ghc-terminfo
0.4.1.6-146.fc43
0.4.1.6-148.fc43
3
ghc-semigroupoids-prof
6.0.1-2.fc42
6.0.1-4.fc43
3
ghc-vector-stream
0.1.0.1-2.fc42
0.1.0.1-4.fc43
3
ghc-comonad
5.0.8-16.fc42
5.0.9-2.fc43
3
ghc-integer-logarithms
1.0.3.1-16.fc42
1.0.4-2.fc43
3
ghc-Cabal-syntax
3.10.3.0-146.fc43
3.10.3.0-148.fc43
3
ghc-parsec
3.1.16.1-146.fc43
3.1.17.0-148.fc43
3
ghc-network-uri
2.6.4.2-10.fc42
2.6.4.2-12.fc43
3
ghc-indexed-traversable-instances-prof
0.1.2-8.fc42
0.1.2-9.fc43
3
ghc-th-compat-prof
0.1.5-2.fc42
0.1.6-2.fc43
3
ghc-bifunctors
5.6.2-2.fc42
5.6.2-4.fc43
3
ghc-xhtml
3000.2.2.1-146.fc43
3000.2.2.1-148.fc43
3
ghc-transformers-compat
0.7.2-10.fc42
0.7.2-12.fc43
3
libgcc
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
ghc-splitmix-prof
0.1.0.5-2.fc42
0.1.1-4.fc43
3
ghc-tagged
0.8.8-2.fc42
0.8.8-4.fc43
3
ghc-blaze-builder
0.4.2.3-2.fc42
0.4.2.3-4.fc43
3
ghc-ghc-boot-th-devel
9.6.6-146.fc43
9.8.4-148.fc43
3
ghc-data-fix
0.3.4-2.fc42
0.3.4-5.fc43
3
ghc-utf8-string
1.0.2-15.fc42
1.0.2-17.fc43
3
libgccjit
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
ghc-transformers-base
0.4.6-12.fc42
0.4.6-14.fc43
3
ghc-witherable
0.4.2-8.fc42
0.5-9.fc43
3
ghc-indexed-traversable-instances-devel
0.1.2-8.fc42
0.1.2-9.fc43
3
ghc-uuid-types
1.0.5.1-2.fc42
1.0.6-2.fc43
3
ghc-base-orphans-prof
0.9.2-2.fc42
0.9.3-2.fc43
3
ghc-os-string
2.0.6-2.fc42
2.0.7-5.fc43
3
ghc-OneTuple
0.4.2-8.fc42
0.4.2-9.fc43
3
ghc-ghc-heap
9.6.6-146.fc43
9.8.4-148.fc43
3
ghc-splitmix
0.1.0.5-2.fc42
0.1.1-4.fc43
3
ghc-splitmix-devel
0.1.0.5-2.fc42
0.1.1-4.fc43
3
ghc-ghc-boot-th
9.6.6-146.fc43
9.8.4-148.fc43
3
ghc-QuickCheck
2.14.3-7.fc42
2.14.3-9.fc43
3
fontconfig
2.16.1-1.fc43
2.16.2-1.fc43
3
ghc-StateVar
1.2.2-14.fc42
1.2.2-16.fc43
3
ghc-th-abstraction
0.5.0.0-2.fc42
0.7.1.0-2.fc43
3
ghc-regex-base
0.94.0.2-12.fc42
0.94.0.3-2.fc43
3
ghc-semigroupoids-devel
6.0.1-2.fc42
6.0.1-4.fc43
3
ghc-th-compat-devel
0.1.5-2.fc42
0.1.6-2.fc43
3
ghc-contravariant
1.5.5-14.fc42
1.5.5-16.fc43
3
ghc-filesystem
9.6.6-146.fc43
9.8.4-148.fc43
3
ghc-ghc-boot-th-prof
9.6.6-146.fc43
9.8.4-148.fc43
3
ghc-prettyprinter-ansi-terminal
1.1.3-15.fc43
3
ghc-semaphore-compat
1.0.0-148.fc43
3
ghc-prettyprinter
1.7.1-14.fc43
3
ghc-integer-conversion
0.1.1-4.fc43
3
gcc
15.0.1-0.11.fc43
15.0.1-0.12.fc43
3
ghc-comonad-devel
5.0.8-16.fc42
5.0.9-2.fc43
4
ghc-bifunctors-prof
5.6.2-2.fc42
5.6.2-4.fc43
4
libstdc++
15.0.1-0.11.fc43
15.0.1-0.12.fc43
4
tree-sitter-srpm-macros
0.2.0-1.fc43
0.2.1-1.fc43
4
ghc-distributive-devel
0.6.2.1-16.fc42
0.6.2.1-18.fc43
4
ghc-prettyprinter-devel
1.7.1-14.fc43
4
ghc-prettyprinter-ansi-terminal-devel
1.1.3-15.fc43
4
ghc-prettyprinter-ansi-terminal-prof
1.1.3-15.fc43
4
ghc-prettyprinter-prof
1.7.1-14.fc43
4
cpp
15.0.1-0.11.fc43
15.0.1-0.12.fc43
4
ghc-distributive-prof
0.6.2.1-16.fc42
0.6.2.1-18.fc43
4
cups-libs
1:2.4.11-13.fc43
1:2.4.12-1.fc43
4
libgomp
15.0.1-0.11.fc43
15.0.1-0.12.fc43
4
gcc-plugin-annobin
15.0.1-0.11.fc43
15.0.1-0.12.fc43
4
ghc-comonad-prof
5.0.8-16.fc42
5.0.9-2.fc43
4
ghc-contravariant-devel
1.5.5-14.fc42
1.5.5-16.fc43
4
ghc-bifunctors-devel
5.6.2-2.fc42
5.6.2-4.fc43
4
coreutils
9.6-2.fc43
9.7-1.fc43
4
ghc-contravariant-prof
1.5.5-14.fc42
1.5.5-16.fc43
4
ghc-libiserv
9.6.6-146.fc43
libicu-devel
76.1-4.fc42
fedora-release-identity-basic
43-0.12
43-0.13
B
cups-filesystem
1:2.4.11-13.fc43
1:2.4.12-1.fc43
B
ghc-StateVar-devel
1.2.2-14.fc42
1.2.2-16.fc43
B
ghc-attoparsec-prof
0.14.4-10.fc42
ghc-attoparsec
0.14.4-10.fc42
ghc-attoparsec-devel
0.14.4-10.fc42
ghc-base-compat-batteries
0.13.1-2.fc42
coreutils-common
9.6-2.fc43
9.7-1.fc43
B
ghc-text-icu
0.8.0.5-3.fc42
ghc-StateVar-prof
1.2.2-14.fc42
1.2.2-16.fc43
B
diffutils
3.11-3.fc43
3.12-1.fc43
B
ghc-text-icu-devel
0.8.0.5-3.fc42
ghc-base-compat-batteries-devel
0.13.1-2.fc42
ghc-text-icu-prof
0.8.0.5-3.fc42
ghc-base-compat-batteries-prof
0.13.1-2.fc42
fedora-release-common
43-0.12
43-0.13
B
fedora-release
43-0.12
43-0.13
B
2025-04-12 22:53:48
Package dependencies resolved successfuly
2025-04-12 21:40:50
Package resolution failed
  • Problem: conflicting requests
    - nothing provides ghc-prof(array-0.5.6.0) needed by ghc-STMonadTrans-prof-0.4.8-2.fc42.x86_64 from primary-f43-build-6567850
    - nothing provides ghc-prof(base-4.18.2.1) needed by ghc-STMonadTrans-prof-0.4.8-2.fc42.x86_64 from primary-f43-build-6567850
    - nothing provides ghc-prof(mtl-2.3.1) needed by ghc-STMonadTrans-prof-0.4.8-2.fc42.x86_64 from primary-f43-build-6567850
    - nothing provides ghc-prof(transformers-0.6.1.0) needed by ghc-STMonadTrans-prof-0.4.8-2.fc42.x86_64 from primary-f43-build-6567850
  • Problem: conflicting requests
    - nothing provides ghc-devel(array-0.5.6.0) needed by ghc-STMonadTrans-devel-0.4.8-2.fc42.x86_64 from primary-f43-build-6567850
    - nothing provides ghc-devel(base-4.18.2.1) needed by ghc-STMonadTrans-devel-0.4.8-2.fc42.x86_64 from primary-f43-build-6567850
    - nothing provides ghc-devel(mtl-2.3.1) needed by ghc-STMonadTrans-devel-0.4.8-2.fc42.x86_64 from primary-f43-build-6567850
    - nothing provides ghc-devel(transformers-0.6.1.0) needed by ghc-STMonadTrans-devel-0.4.8-2.fc42.x86_64 from primary-f43-build-6567850
    - nothing provides ghc-compiler = 9.6.6 needed by ghc-STMonadTrans-devel-0.4.8-2.fc42.x86_64 from primary-f43-build-6567850
  • Problem: conflicting requests
    - nothing provides ghc-prof(STMonadTrans-0.4.8-KHC52oAtXcD2GZptyRnQaK) needed by ghc-equivalence-prof-0.4.1-12.fc43.x86_64 from primary-f43-build-6567850
  • Problem: conflicting requests
    - nothing provides ghc-devel(STMonadTrans-0.4.8-KHC52oAtXcD2GZptyRnQaK) needed by ghc-equivalence-devel-0.4.1-12.fc43.x86_64 from primary-f43-build-6567850
emacs
1:30.1-18.fc43
1:30.1-19.fc43
1
glibc
2.41.9000-7.fc43
2.41.9000-9.fc43
2
emacs-gtk+x11
1:30.1-18.fc43
1:30.1-19.fc43
2
glibc-minimal-langpack
2.41.9000-7.fc43
2.41.9000-9.fc43
3
glibc-common
2.41.9000-7.fc43
2.41.9000-9.fc43
3
emacs-common
1:30.1-18.fc43
1:30.1-19.fc43
3
systemd-libs
257.4-3.fc43
257.5-2.fc43
3
glibc-gconv-extra
2.41.9000-7.fc43
2.41.9000-9.fc43
3
harfbuzz
11.0.0-1.fc43
11.0.1-2.fc43
3
m17n-db
1.8.9-2.fc42
1.8.10-1.fc43
4
glibc-devel
2.41.9000-7.fc43
2.41.9000-9.fc43
4
emacsclient
1:30.1-18.fc43
1:30.1-19.fc43
4
debugedit
5.1-5.fc43
5.1-6.fc43
B
fedora-release
43-0.10
43-0.12
B
fedora-release-common
43-0.10
43-0.12
B
systemd-standalone-sysusers
257.4-3.fc43
257.5-2.fc43
B
fedora-release-identity-basic
43-0.10
43-0.12
B
Real build: Agda-2.7.0.1-54.fc43
No dependency changes
emacs
1:30.1-13.fc43
1:30.1-18.fc43
1
ghc-rpm-macros-extra
2.8.0-1.fc43
2.8.1-1.fc43
1
libffi
3.4.7-3.fc43
3.4.7-4.fc43
2
libffi-devel
3.4.7-3.fc43
3.4.7-4.fc43
2
ghc-rpm-macros
2.8.0-1.fc43
2.8.1-1.fc43
2
emacs-gtk+x11
1:30.1-18.fc43
2
redhat-rpm-config
342-2.fc42
343-3.fc43
3
emacs-common
1:30.1-13.fc43
1:30.1-18.fc43
3
glib2
2.84.0-1.fc43
2.84.1-1.fc43
3
m17n-lib
1.8.5-1.fc43
3
libX11-xcb
1.8.11-1.fc42
3
crypto-policies
20250324-1.git3714354....
20250402-1.git86c0178....
4
xz-libs
1:5.8.0-1.fc43
1:5.8.1-1.fc43
4
qt6-srpm-macros
6.9.0~rc-1.fc43
6.9.0-1.fc43
4
emacsclient
1:30.1-13.fc43
1:30.1-18.fc43
4
m17n-db
1.8.9-2.fc42
4
gawk
5.3.1-1.fc42
5.3.2-1.fc43
B
libxcrypt
4.4.38-6.fc43
4.4.38-7.fc43
B
fedora-release-common
43-0.8
43-0.10
B
fedora-release-identity-basic
43-0.8
43-0.10
B
libcurl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
B
libxcrypt-devel
4.4.38-6.fc43
4.4.38-7.fc43
B
xz
1:5.8.0-1.fc43
1:5.8.1-1.fc43
B
curl
8.13.0~rc3-1.fc43
8.13.0-1.fc43
B
fedora-release
43-0.8
43-0.10
B
libgccjit
15.0.1-0.10.fc43
15.0.1-0.11.fc43
2
librsvg2
2.59.2-2.fc42
2.60.0-1.fc43
2
libffi
3.4.7-2.fc43
3.4.7-3.fc43
2
libffi-devel
3.4.7-2.fc43
3.4.7-3.fc43
2
glibc
2.41.9000-6.fc43
2.41.9000-7.fc43
2
glibc-gconv-extra
2.41.9000-6.fc43
2.41.9000-7.fc43
3
gcc
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
libdav1d
1.5.1-1.fc42
3
glibc-minimal-langpack
2.41.9000-6.fc43
2.41.9000-7.fc43
3
glibc-common
2.41.9000-6.fc43
2.41.9000-7.fc43
3
libstdc++
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
filesystem
3.18-38.fc43
3.18-39.fc43
3
libgcc
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
atk
2.56.0-1.fc43
2.56.1-1.fc43
3
at-spi2-atk
2.56.0-1.fc43
2.56.1-1.fc43
3
rsvg-pixbuf-loader
2.59.2-2.fc42
2.60.0-1.fc43
3
glibc-devel
2.41.9000-6.fc43
2.41.9000-7.fc43
4
filesystem-srpm-macros
3.18-38.fc43
3.18-39.fc43
4
at-spi2-core
2.56.0-1.fc43
2.56.1-1.fc43
4
rpm
4.20.1-1.fc43
4.20.1-3.fc43
4
qt6-srpm-macros
6.8.2-2.fc43
6.9.0~rc-1.fc43
4
gcc-plugin-annobin
15.0.1-0.10.fc43
15.0.1-0.11.fc43
4
libgomp
15.0.1-0.10.fc43
15.0.1-0.11.fc43
4
cpp
15.0.1-0.10.fc43
15.0.1-0.11.fc43
4
rpm-build
4.20.1-1.fc43
4.20.1-3.fc43
B
rpm-libs
4.20.1-1.fc43
4.20.1-3.fc43
B
openldap
2.6.9-3.fc42
2.6.9-5.fc43
B
rpm-build-libs
4.20.1-1.fc43
4.20.1-3.fc43
B
gdb-minimal
16.2-1.fc43
16.2-3.fc43
B
rpm-sequoia
1.7.0-5.fc43
1.8.0-1.fc43
B
patch
2.7.6-26.fc42
2.8-1.fc43
B
Previous history