Agda

Package information

State
ok

Scheduler parameters

Tracked by Koschei
True
Current priority
2547
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-6.fc43
2.41.9000-7.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
libgccjit
15.0.1-0.10.fc43
15.0.1-0.11.fc43
2
libgcc
15.0.1-0.10.fc43
15.0.1-0.11.fc43
3
glibc-minimal-langpack
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
glibc-gconv-extra
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
at-spi2-atk
2.56.0-1.fc43
2.56.1-1.fc43
3
glibc-common
2.41.9000-6.fc43
2.41.9000-7.fc43
3
rsvg-pixbuf-loader
2.59.2-2.fc42
2.60.0-1.fc43
3
atk
2.56.0-1.fc43
2.56.1-1.fc43
3
filesystem
3.18-38.fc43
3.18-39.fc43
3
libdav1d
1.5.1-1.fc42
3
libgomp
15.0.1-0.10.fc43
15.0.1-0.11.fc43
4
at-spi2-core
2.56.0-1.fc43
2.56.1-1.fc43
4
filesystem-srpm-macros
3.18-38.fc43
3.18-39.fc43
4
gcc-plugin-annobin
15.0.1-0.10.fc43
15.0.1-0.11.fc43
4
glibc-devel
2.41.9000-6.fc43
2.41.9000-7.fc43
4
rpm
4.20.1-1.fc43
4.20.1-3.fc43
4
cpp
15.0.1-0.10.fc43
15.0.1-0.11.fc43
4
qt6-srpm-macros
6.8.2-2.fc43
6.9.0~rc-1.fc43
4
rpm-libs
4.20.1-1.fc43
4.20.1-3.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
patch
2.7.6-26.fc42
2.8-1.fc43
B
rpm-sequoia
1.7.0-5.fc43
1.8.0-1.fc43
B
openldap
2.6.9-3.fc42
2.6.9-5.fc43
B
rpm-build
4.20.1-1.fc43
4.20.1-3.fc43
B

Groups

This package is not part of any global group.

Most recent builds

harfbuzz
10.4.0-1.fc43
11.0.0-1.fc43
2
glibc
2.41.9000-2.fc43
2.41.9000-6.fc43
2
gtk3
3.24.49-1.fc43
3.24.49-2.fc43
2
gtk-update-icon-cache
3.24.49-1.fc43
3.24.49-2.fc43
3
glibc-minimal-langpack
2.41.9000-2.fc43
2.41.9000-6.fc43
3
libtinysparql
3.9.1-1.fc43
3.9.1-2.fc43
3
mpfr
4.2.1-6.fc42
4.2.2-1.fc43
3
xz-libs
1:5.6.3-3.fc42
1:5.8.0-1.fc43
3
glibc-common
2.41.9000-2.fc43
2.41.9000-6.fc43
3
crypto-policies
20250305-1.gita35b0fa....
20250324-1.git3714354....
3
glibc-gconv-extra
2.41.9000-2.fc43
2.41.9000-6.fc43
3
adwaita-icon-theme
48.0-1.fc43
48.0-2.fc43
3
python-srpm-macros
3.13-4.fc42
3.13-5.fc43
4
openssl-libs
1:3.2.4-3.fc43
1:3.5.0-2.fc43
4
libsoup3
3.6.4-2.fc42
3.6.5-1.fc43
4
setup
2.15.0-21.fc43
2.15.0-23.fc43
4
pyproject-srpm-macros
1.17.0-1.fc43
1.18.1-1.fc43
4
glibc-devel
2.41.9000-2.fc43
2.41.9000-6.fc43
4
adwaita-cursor-theme
48.0-1.fc43
48.0-2.fc43
4
go-srpm-macros
3.6.0-6.fc42
3.6.0-7.fc43
4
libusb1
1.0.27-9.fc43
1.0.28-2.fc43
B
fedora-release-common
43-0.7
43-0.8
B
xz
1:5.6.3-3.fc42
1:5.8.0-1.fc43
B
curl
8.13.0~rc2-1.fc43
8.13.0~rc3-1.fc43
B
libcurl
8.13.0~rc2-1.fc43
8.13.0~rc3-1.fc43
B
diffutils
3.10-9.fc42
3.11-3.fc43
B
fedora-release
43-0.7
43-0.8
B
kernel-headers
6.14.0-0.rc7.56.fc43
6.14.0-63.fc43
B
fedora-release-identity-basic
43-0.7
43-0.8
B
ghc-rpm-macros-extra
2.7.8-1.fc43
2.8.0-1.fc43
1
emacs
1:30.1-10.fc43
1:30.1-13.fc43
1
emacs-common
1:30.1-10.fc43
1:30.1-13.fc43
2
ghc-rpm-macros
2.7.8-1.fc43
2.8.0-1.fc43
2
pango
1.56.2-1.fc43
1.56.3-1.fc43
2
at-spi2-atk
2.55.90-1.fc43
2.56.0-1.fc43
3
atk
2.55.90-1.fc43
2.56.0-1.fc43
3
libxkbcommon
1.8.0-1.fc43
1.8.1-1.fc43
3
emacsclient
1:30.1-10.fc43
1:30.1-13.fc43
3
cmake-filesystem
4.0.0~rc4-1.fc43
3.31.6-2.fc43
3
adwaita-icon-theme
48~beta-1.fc43
48.0-1.fc43
3
libtinysparql
3.9~rc-1.fc43
3.9.1-1.fc43
3
qt5-srpm-macros
5.15.15-1.fc42
5.15.16-1.fc43
4
setup
2.15.0-14.fc43
2.15.0-21.fc43
4
at-spi2-core
2.55.90-1.fc43
2.56.0-1.fc43
4
adwaita-cursor-theme
48~beta-1.fc43
48.0-1.fc43
4
annobin-plugin-gcc
12.92-1.fc43
12.93-1.fc43
4
libusb1
1.0.27-8.fc42
1.0.27-9.fc43
B
curl
8.13.0~rc1-2.fc43
8.13.0~rc2-1.fc43
B
kernel-headers
6.14.0-0.rc6.49.fc43
6.14.0-0.rc7.56.fc43
B
annobin-docs
12.92-1.fc43
12.93-1.fc43
B
shadow-utils
2:4.17.0-4.fc42
2:4.17.4-1.fc43
B
libcurl
8.13.0~rc1-2.fc43
8.13.0~rc2-1.fc43
B
2025-03-18 21:54:45
Package dependencies resolved successfuly
2025-03-18 20:56:52
Package resolution failed
  • Problem: package ghc-zlib-devel-0.6.3.0-11.fc42.x86_64 from primary-f43-build-6562044 requires zlib-ng-compat-devel(x86-64), but none of the providers can be installed
    - conflicting requests
    - nothing provides cmake-filesystem(x86-64) needed by zlib-ng-compat-devel-2.2.4-2.fc43.x86_64 from primary-f43-build-6562044
  • Problem: package ghc-zlib-prof-0.6.3.0-11.fc42.x86_64 from primary-f43-build-6562044 requires ghc-zlib-devel(x86-64) = 0.6.3.0-11.fc42, but none of the providers can be installed
    - package ghc-zlib-devel-0.6.3.0-11.fc42.x86_64 from primary-f43-build-6562044 requires zlib-ng-compat-devel(x86-64), but none of the providers can be installed
    - conflicting requests
    - nothing provides cmake-filesystem(x86-64) needed by zlib-ng-compat-devel-2.2.4-2.fc43.x86_64 from primary-f43-build-6562044
2025-03-18 20:48:15
Package resolution failed
  • Problem: package ghc-zlib-prof-0.6.3.0-11.fc42.x86_64 from primary-f43-build-6562042 requires ghc-zlib-devel(x86-64) = 0.6.3.0-11.fc42, but none of the providers can be installed
    - package ghc-zlib-devel-0.6.3.0-11.fc42.x86_64 from primary-f43-build-6562042 requires zlib-ng-compat-devel(x86-64), but none of the providers can be installed
    - conflicting requests
    - nothing provides cmake-filesystem(x86-64) needed by zlib-ng-compat-devel-2.2.4-2.fc43.x86_64 from primary-f43-build-6562042
  • Problem: package ghc-zlib-devel-0.6.3.0-11.fc42.x86_64 from primary-f43-build-6562042 requires zlib-ng-compat-devel(x86-64), but none of the providers can be installed
    - conflicting requests
    - nothing provides cmake-filesystem(x86-64) needed by zlib-ng-compat-devel-2.2.4-2.fc43.x86_64 from primary-f43-build-6562042
ghc-text-devel
2.0.2-144.fc41
2.0.2-146.fc43
1
ghc-array-prof
0.5.6.0-144.fc41
0.5.6.0-146.fc43
1
ghc-mtl-devel
2.3.1-144.fc41
2.3.1-146.fc43
1
ghc-process-devel
1.6.19.0-144.fc41
1.6.19.0-146.fc43
1
ghc-ghc-compact-prof
0.1.0.0-144.fc41
0.1.0.0-146.fc43
1
ghc-binary-devel
0.8.9.1-144.fc41
0.8.9.1-146.fc43
1
ghc-stm-prof
2.5.1.0-144.fc41
2.5.1.0-146.fc43
1
ghc-containers-devel
0.6.7-144.fc41
0.6.7-146.fc43
1
ghc-pretty-devel
1.1.3.6-144.fc41
1.1.3.6-146.fc43
1
ghc-haskeline-devel
0.8.2.1-144.fc41
0.8.2.1-146.fc43
1
ghc-deepseq-prof
1.4.8.1-144.fc41
1.4.8.1-146.fc43
1
ghc-filepath-devel
1.4.300.1-144.fc41
1.4.300.1-146.fc43
1
ghc-transformers-prof
0.6.1.0-144.fc41
0.6.1.0-146.fc43
1
ghc-time-devel
1.12.2-144.fc41
1.12.2-146.fc43
1
ghc-exceptions-prof
0.10.7-144.fc41
0.10.7-146.fc43
1
ghc-ghc-compact-devel
0.1.0.0-144.fc41
0.1.0.0-146.fc43
1
ghc-binary-prof
0.8.9.1-144.fc41
0.8.9.1-146.fc43
1
ghc-mtl-prof
2.3.1-144.fc41
2.3.1-146.fc43
1
ghc-Cabal-devel
3.10.3.0-144.fc41
3.10.3.0-146.fc43
1
ghc-haskeline-prof
0.8.2.1-144.fc41
0.8.2.1-146.fc43
1
ghc-pretty-prof
1.1.3.6-144.fc41
1.1.3.6-146.fc43
1
ghc-process-prof
1.6.19.0-144.fc41
1.6.19.0-146.fc43
1
ghc-array-devel
0.5.6.0-144.fc41
0.5.6.0-146.fc43
1
ghc-text-prof
2.0.2-144.fc41
2.0.2-146.fc43
1
ghc-directory-devel
1.3.8.5-144.fc41
1.3.8.5-146.fc43
1
ghc-transformers-devel
0.6.1.0-144.fc41
0.6.1.0-146.fc43
1
ghc-stm-devel
2.5.1.0-144.fc41
2.5.1.0-146.fc43
1
ghc-exceptions-devel
0.10.7-144.fc41
0.10.7-146.fc43
1
ghc-base-devel
4.18.2.1-144.fc41
4.18.2.1-146.fc43
1
ghc-time-prof
1.12.2-144.fc41
1.12.2-146.fc43
1
ghc-directory-prof
1.3.8.5-144.fc41
1.3.8.5-146.fc43
1
ghc-bytestring-devel
0.11.5.3-144.fc41
0.11.5.3-146.fc43
1
ghc-bytestring-prof
0.11.5.3-144.fc41
0.11.5.3-146.fc43
1
ghc-deepseq-devel
1.4.8.1-144.fc41
1.4.8.1-146.fc43
1
ghc-filepath-prof
1.4.300.1-144.fc41
1.4.300.1-146.fc43
1
ghc-containers-prof
0.6.7-144.fc41
0.6.7-146.fc43
1
ghc-base-prof
4.18.2.1-144.fc41
4.18.2.1-146.fc43
1
ghc-ghc-bignum-prof
1.3-144.fc41
1.3-146.fc43
2
ghc-filepath
1.4.300.1-144.fc41
1.4.300.1-146.fc43
2
ghc-parsec-devel
3.1.16.1-144.fc41
3.1.16.1-146.fc43
2
ghc-template-haskell-prof
2.20.0.0-144.fc41
2.20.0.0-146.fc43
2
ghc-pretty
1.1.3.6-144.fc41
1.1.3.6-146.fc43
2
ghc-process
1.6.19.0-144.fc41
1.6.19.0-146.fc43
2
ghc-terminfo-prof
0.4.1.6-144.fc41
0.4.1.6-146.fc43
2
ghc-haskeline
0.8.2.1-144.fc41
0.8.2.1-146.fc43
2
ghc-mtl
2.3.1-144.fc41
2.3.1-146.fc43
2
alternatives
1.31-3.fc42
1.32-1.fc43
2
ghc-Cabal
3.10.3.0-144.fc41
3.10.3.0-146.fc43
2
ghc-directory
1.3.8.5-144.fc41
1.3.8.5-146.fc43
2
ghc-bytestring
0.11.5.3-144.fc41
0.11.5.3-146.fc43
2
ghc-time
1.12.2-144.fc41
1.12.2-146.fc43
2
ghc-deepseq
1.4.8.1-144.fc41
1.4.8.1-146.fc43
2
libxml2
2.12.9-2.fc42
2.12.10-1.fc43
2
ghc-compiler
9.6.6-144.fc41
9.6.6-146.fc43
2
ghc-terminfo-devel
0.4.1.6-144.fc41
0.4.1.6-146.fc43
2
libgccjit
15.0.1-0.9.fc43
15.0.1-0.10.fc43
2
ghc-array
0.5.6.0-144.fc41
0.5.6.0-146.fc43
2
ghc-exceptions
0.10.7-144.fc41
0.10.7-146.fc43
2
ghc-text
2.0.2-144.fc41
2.0.2-146.fc43
2
ghc-binary
0.8.9.1-144.fc41
0.8.9.1-146.fc43
2
ghc-unix-prof
2.8.4.0-144.fc41
2.8.4.0-146.fc43
2
ghc-unix-devel
2.8.4.0-144.fc41
2.8.4.0-146.fc43
2
ghc-Cabal-syntax-devel
3.10.3.0-144.fc41
3.10.3.0-146.fc43
2
ghc-ghc-compact
0.1.0.0-144.fc41
0.1.0.0-146.fc43
2
ghc-ghc-bignum-devel
1.3-144.fc41
1.3-146.fc43
2
ghc-parsec-prof
3.1.16.1-144.fc41
3.1.16.1-146.fc43
2
ghc-containers
0.6.7-144.fc41
0.6.7-146.fc43
2
ghc-transformers
0.6.1.0-144.fc41
0.6.1.0-146.fc43
2
ghc-template-haskell-devel
2.20.0.0-144.fc41
2.20.0.0-146.fc43
2
ghc-stm
2.5.1.0-144.fc41
2.5.1.0-146.fc43
2
ghc-base
4.18.2.1-144.fc41
4.18.2.1-146.fc43
2
ghc-parsec
3.1.16.1-144.fc41
3.1.16.1-146.fc43
3
ghc-template-haskell
2.20.0.0-144.fc41
2.20.0.0-146.fc43
3
ghc-ghc-boot-th-prof
9.6.6-144.fc41
9.6.6-146.fc43
3
ghc-Cabal-syntax
3.10.3.0-144.fc41
3.10.3.0-146.fc43
3
ghc-libiserv
9.6.6-144.fc41
9.6.6-146.fc43
3
ghc-ghc
9.6.6-144.fc41
9.6.6-146.fc43
3
libstdc++
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
ghc-unix
2.8.4.0-144.fc41
2.8.4.0-146.fc43
3
ghc-ghc-boot
9.6.6-144.fc41
9.6.6-146.fc43
3
ghc-terminfo
0.4.1.6-144.fc41
0.4.1.6-146.fc43
3
ghc-ghc-heap
9.6.6-144.fc41
9.6.6-146.fc43
3
ghc-xhtml
3000.2.2.1-144.fc41
3000.2.2.1-146.fc43
3
ghc-ghc-boot-th
9.6.6-144.fc41
9.6.6-146.fc43
3
gcc
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
ghc-ghci
9.6.6-144.fc41
9.6.6-146.fc43
3
ghc-ghc-bignum
1.3-144.fc41
1.3-146.fc43
3
ghc-hpc
0.6.2.0-144.fc41
0.6.2.0-146.fc43
3
ghc-filesystem
9.6.6-144.fc41
9.6.6-146.fc43
3
ghc-ghc-boot-th-devel
9.6.6-144.fc41
9.6.6-146.fc43
3
libgcc
15.0.1-0.9.fc43
15.0.1-0.10.fc43
3
efi-srpm-macros
6-2.fc42
6-3.fc43
4
cpp
15.0.1-0.9.fc43
15.0.1-0.10.fc43
4
libgomp
15.0.1-0.9.fc43
15.0.1-0.10.fc43
4
gcc-plugin-annobin
15.0.1-0.9.fc43
15.0.1-0.10.fc43
4
emacs
1:30.1-5.fc43
1:30.1-10.fc43
1
fontconfig
2.16.0-2.fc42
2.16.1-1.fc43
2
emacs-common
1:30.1-5.fc43
1:30.1-10.fc43
2
libffi
3.4.7-1.fc43
3.4.7-2.fc43
2
gtk3
3.24.43-4.fc43
3.24.49-1.fc43
2
libffi-devel
3.4.7-1.fc43
3.4.7-2.fc43
2
pango
1.56.1-1.fc42
1.56.2-1.fc43
2
systemd-libs
257.3-7.fc43
257.4-3.fc43
2
libidn2
2.3.7-3.fc42
2.3.8-1.fc43
3
cmake-filesystem
4.0.0~rc3-1.fc43
4.0.0~rc4-1.fc43
3
adwaita-icon-theme
47.0-2.fc42
48~beta-1.fc43
3
emacsclient
1:30.1-5.fc43
1:30.1-10.fc43
3
gtk-update-icon-cache
3.24.43-4.fc43
3.24.49-1.fc43
3
crypto-policies
20250214-1.gitff7551b....
20250305-1.gita35b0fa....
3
setup
2.15.0-13.fc43
2.15.0-14.fc43
4
avahi-libs
0.9~rc2-2.fc42
0.9~rc2-3.fc43
4
avahi-glib
0.9~rc2-2.fc42
0.9~rc2-3.fc43
4
tree-sitter-srpm-macros
0.1.0-10.fc43
0.2.0-1.fc43
4
adwaita-cursor-theme
47.0-2.fc42
48~beta-1.fc43
4
openssl-libs
1:3.2.4-2.fc43
1:3.2.4-3.fc43
4
libcurl
8.12.1-1.fc43
8.13.0~rc1-2.fc43
B
fedora-release
43-0.6
43-0.7
B
kernel-headers
6.14.0-0.rc5.43.fc43
6.14.0-0.rc6.49.fc43
B
fedora-release-common
43-0.6
43-0.7
B
systemd-standalone-sysusers
257.3-7.fc43
257.4-3.fc43
B
curl
8.12.1-1.fc43
8.13.0~rc1-2.fc43
B
fedora-release-identity-basic
43-0.6
43-0.7
B
libarchive
3.7.7-3.fc43
3.7.7-4.fc43
B
ghc-rpm-macros-extra
2.7.7-1.fc42
2.7.8-1.fc43
1
libffi-devel
3.4.6-5.fc42
3.4.7-1.fc43
2
libffi
3.4.6-5.fc42
3.4.7-1.fc43
2
libgccjit
15.0.1-0.8.fc43
15.0.1-0.9.fc43
2
ghc-rpm-macros
2.7.7-1.fc42
2.7.8-1.fc43
2
glib2
2.83.2-6.fc42
2.84.0-1.fc43
2
google-noto-sans-mono-vf-fonts
20250201-1.fc43
20250301-1.fc43
2
gnutls
3.8.9-4.fc43
3.8.9-5.fc43
2
gcc
15.0.1-0.8.fc43
15.0.1-0.9.fc43
3
libtinysparql
3.8~rc-6.fc43
3.9~rc-1.fc43
3
libstdc++
15.0.1-0.8.fc43
15.0.1-0.9.fc43
3
at-spi2-atk
2.55.2-1.fc42
2.55.90-1.fc43
3
google-noto-fonts-common
20250201-1.fc43
20250301-1.fc43
3
libgcc
15.0.1-0.8.fc43
15.0.1-0.9.fc43
3
atk
2.55.2-1.fc42
2.55.90-1.fc43
3
cmake-filesystem
4.0.0~rc2-3.fc43
4.0.0~rc3-1.fc43
3
libgomp
15.0.1-0.8.fc43
15.0.1-0.9.fc43
4
annobin-plugin-gcc
12.88-1.fc42
12.92-1.fc43
4
at-spi2-core
2.55.2-1.fc42
2.55.90-1.fc43
4
google-noto-sans-vf-fonts
20250201-1.fc43
20250301-1.fc43
4
gcc-plugin-annobin
15.0.1-0.8.fc43
15.0.1-0.9.fc43
4
setup
2.15.0-12.fc43
2.15.0-13.fc43
4
tree-sitter-srpm-macros
0.1.0-8.fc42
0.1.0-10.fc43
4
cpp
15.0.1-0.8.fc43
15.0.1-0.9.fc43
4
readline
8.2-12.fc42
8.2-13.fc43
B
kernel-headers
6.14.0-0.rc4.36.fc43
6.14.0-0.rc5.43.fc43
B
lua-libs
5.4.7-2.fc42
5.4.7-3.fc43
B
annobin-docs
12.88-1.fc42
12.92-1.fc43
B
libnghttp2
1.64.0-3.fc42
1.65.0-1.fc43
B
Previous history