Koschei - gappalib-coq

Package information

State

Packages

Bodhi

Dist-git

Bugzilla

Koji

File new FTBFS bug

Scheduler parameters

Tracked by Koschei

True

Current priority

2033

Manual priority

Static priority

Arch override

None

Skip resolution

False

Configure scheduling

Dependency changes since last build

No dependency changes

State overview

Groups

This package is not part of any global group.

Most recent builds

116262814

2024-04-12 12:19:56

aarch64

├116262987 ( build.log | root.log )

x86_64

└116262988 ( build.log | root.log )

gcc-c++

14.0.1-0.13.fc41

14.0.1-0.14.fc41

libstdc++

14.0.1-0.13.fc41

14.0.1-0.14.fc41

libstdc++-devel

14.0.1-0.13.fc41

14.0.1-0.14.fc41

gcc

14.0.1-0.13.fc41

14.0.1-0.14.fc41

texlive-base

11:20230311-83.fc41

11:20230311-84.fc41

libgcc

14.0.1-0.13.fc41

14.0.1-0.14.fc41

redhat-rpm-config

287-1.fc41

288-1.fc41

emacs-filesystem

1:29.3-1.fc41

1:29.3-5.fc41

coreutils

9.4-6.fc40

9.5-1.fc41

filesystem

3.18-8.fc40

3.18-9.fc41

qt6-srpm-macros

6.6.2-1.fc41

6.7.0-1.fc41

util-linux

2.40-0.12.fc41

2.40-13.fc41

forge-srpm-macros

0.3.0-1.fc41

0.3.1-1.fc41

libgomp

14.0.1-0.13.fc41

14.0.1-0.14.fc41

annobin-plugin-gcc

12.46-1.fc41

12.48-1.fc41

cpp

14.0.1-0.13.fc41

14.0.1-0.14.fc41

python3

3.12.2-3.fc41

3.12.3-1.fc41

gcc-plugin-annobin

14.0.1-0.13.fc41

14.0.1-0.14.fc41

pam-libs

1.6.0-2.fc41

1.6.1-1.fc41

libuuid

2.40-0.12.fc41

2.40-13.fc41

libcap

2.69-3.fc40

2.69-8.fc41

libsmartcols

2.40-0.12.fc41

2.40-13.fc41

pam

1.6.0-2.fc41

1.6.1-1.fc41

curl

8.6.0-7.fc41

8.7.1-1.fc41

coreutils-common

9.4-6.fc40

9.5-1.fc41

libblkid

2.40-0.12.fc41

2.40-13.fc41

kernel-headers

6.9.0-0.rc1.17.fc41

6.9.0-0.rc3.30.fc41

libcap-ng

0.8.4-4.fc40

0.8.5-1.fc41

openssl-libs

1:3.2.1-3.fc41

1:3.2.1-6.fc41

util-linux-core

2.40-0.12.fc41

2.40-13.fc41

python3-libs

3.12.2-3.fc41

3.12.3-1.fc41

libarchive

3.7.2-3.fc40

3.7.2-3.fc41

libmount

2.40-0.12.fc41

2.40-13.fc41

annobin-docs

12.46-1.fc41

12.48-1.fc41

libfdisk

2.40-0.12.fc41

2.40-13.fc41

libcurl

8.6.0-7.fc41

8.7.1-1.fc41

tzdata

2024a-4.fc41

2024a-5.fc41

libquadmath

14.0.1-0.13.fc41

14.0.1-0.14.fc41

libgfortran

14.0.1-0.13.fc41

14.0.1-0.14.fc41

libnghttp2

1.60.0-2.fc41

1.61.0-1.fc41

show 30 more collapse

115623580

2024-03-30 00:01:40

aarch64

├115623705 ( build.log | root.log )

x86_64

└115623704 ( build.log | root.log )

gcc-c++

14.0.1-0.12.fc41

14.0.1-0.13.fc41

gcc

14.0.1-0.12.fc41

14.0.1-0.13.fc41

emacs-filesystem

1:29.2-3.fc40

1:29.3-1.fc41

libzstd

1.5.5-5.fc40

1.5.6-1.fc41

libgcc

14.0.1-0.12.fc41

14.0.1-0.13.fc41

glibc

2.39.9000-8.fc41

2.39.9000-10.fc41

libstdc++

14.0.1-0.12.fc41

14.0.1-0.13.fc41

libzstd-devel

1.5.5-5.fc40

1.5.6-1.fc41

csdp-tools

6.2.0-18.fc40

6.2.0-27.20181018gi...

libstdc++-devel

14.0.1-0.12.fc41

14.0.1-0.13.fc41

python3

3.12.2-2.fc41

3.12.2-3.fc41

libgomp

14.0.1-0.12.fc41

14.0.1-0.13.fc41

cpp

14.0.1-0.12.fc41

14.0.1-0.13.fc41

python-srpm-macros

3.12-7.fc40

3.12-9.fc41

glibc-devel

2.39.9000-8.fc41

2.39.9000-10.fc41

util-linux

2.40-0.11.rc1.fc41

2.40-0.12.fc41

gcc-plugin-annobin

14.0.1-0.12.fc41

14.0.1-0.13.fc41

annobin-plugin-gcc

12.44-1.fc41

12.46-1.fc41

csdp

6.2.0-18.fc40

6.2.0-27.20181018gi...

glibc-common

2.39.9000-8.fc41

2.39.9000-10.fc41

glibc-gconv-extra

2.39.9000-8.fc41

2.39.9000-10.fc41

glibc-minimal-langpack

2.39.9000-8.fc41

2.39.9000-10.fc41

binutils

2.42.50-5.fc41

2.42.50-6.fc41

binutils-gold

2.42.50-5.fc41

2.42.50-6.fc41

libsmartcols

2.40-0.11.rc1.fc41

2.40-0.12.fc41

annobin-docs

12.44-1.fc41

12.46-1.fc41

libuuid

2.40-0.11.rc1.fc41

2.40-0.12.fc41

libblkid

2.40-0.11.rc1.fc41

2.40-0.12.fc41

glibc-headers-x86

2.39.9000-8.fc41

2.39.9000-10.fc41

elfutils-libelf

0.191-2.fc41

0.191-5.fc41

kernel-headers

6.8.0-0.rc7.55.fc41

6.9.0-0.rc1.17.fc41

util-linux-core

2.40-0.11.rc1.fc41

2.40-0.12.fc41

libfdisk

2.40-0.11.rc1.fc41

2.40-0.12.fc41

pcre2

10.42-2.fc40.2

10.43-1.fc41

elfutils-debuginfod-client

0.191-2.fc41

0.191-5.fc41

python3-libs

3.12.2-2.fc41

3.12.2-3.fc41

libmount

2.40-0.11.rc1.fc41

2.40-0.12.fc41

5.6.1-1.fc41

1:5.4.6-3.fc41

perl-URI

5.27-1.fc40

5.28-1.fc41

crypto-policies

20240304-1.git0375239....

20240320-1.git58e3d95....

expat

2.6.0-1.fc41

2.6.2-1.fc41

elfutils-default-yama-scope

0.191-2.fc41

0.191-5.fc41

elfutils

0.191-2.fc41

0.191-5.fc41

elfutils-libs

0.191-2.fc41

0.191-5.fc41

libffi

3.4.4-8.fc41

3.4.6-1.fc41

libgfortran

14.0.1-0.12.fc41

14.0.1-0.13.fc41

libquadmath

14.0.1-0.12.fc41

14.0.1-0.13.fc41

libtirpc

1.3.4-1.rc2.fc40.2

1.3.4-1.rc3.fc41

pcre2-syntax

10.42-2.fc40.2

10.43-1.fc41

shadow-utils

2:4.15.1-1.fc41

2:4.15.1-2.fc41

xz-libs

5.6.1-1.fc41

1:5.4.6-3.fc41

zstd

1.5.5-5.fc40

1.5.6-1.fc41

show 42 more collapse

115127567

2024-03-18 19:22:09

aarch64

├115127721 ( build.log | root.log )

x86_64

└115127720 ( build.log | root.log )

gcc-c++

14.0.1-0.8.fc41

14.0.1-0.12.fc41

glibc

2.39.9000-5.fc41

2.39.9000-8.fc41

libstdc++-devel

14.0.1-0.8.fc41

14.0.1-0.12.fc41

libstdc++

14.0.1-0.8.fc41

14.0.1-0.12.fc41

libgcc

14.0.1-0.8.fc41

14.0.1-0.12.fc41

redhat-rpm-config

285-1.fc41

287-1.fc41

gcc

14.0.1-0.8.fc41

14.0.1-0.12.fc41

texlive-base

11:20230311-82.fc41

11:20230311-83.fc41

ghc-srpm-macros

1.9-1.fc41

1.9.1-1.fc41

glibc-devel

2.39.9000-5.fc41

2.39.9000-8.fc41

glibc-common

2.39.9000-5.fc41

2.39.9000-8.fc41

qt5-srpm-macros

5.15.12-3.fc40

5.15.13-1.fc41

gcc-plugin-annobin

14.0.1-0.8.fc41

14.0.1-0.12.fc41

cpp

14.0.1-0.8.fc41

14.0.1-0.12.fc41

libgomp

14.0.1-0.8.fc41

14.0.1-0.12.fc41

glibc-minimal-langpack

2.39.9000-5.fc41

2.39.9000-8.fc41

glibc-gconv-extra

2.39.9000-5.fc41

2.39.9000-8.fc41

glibc-headers-x86

2.39.9000-5.fc41

2.39.9000-8.fc41

audit-libs

4.0-8.fc40

4.0.1-1.fc41

libxml2

2.12.5-1.fc40

2.12.6-1.fc41

perl-Mozilla-CA

20231213-3.fc40

20240313-1.fc41

libquadmath

14.0.1-0.8.fc41

14.0.1-0.12.fc41

libgfortran

14.0.1-0.8.fc41

14.0.1-0.12.fc41

shadow-utils

2:4.15.0rc3-1.fc41

2:4.15.1-1.fc41

sqlite-libs

3.45.1-2.fc40

3.45.2-1.fc41

show 15 more collapse

114734612

2024-03-10 00:02:25

aarch64

├114734698 ( build.log | root.log )

x86_64

└114734697 ( build.log | root.log )

glibc

2.39.9000-4.fc41

2.39.9000-5.fc41

glibc-devel

2.39.9000-4.fc41

2.39.9000-5.fc41

annobin-plugin-gcc

12.41-1.fc41

12.44-1.fc41

glibc-common

2.39.9000-4.fc41

2.39.9000-5.fc41

glibc-gconv-extra

2.39.9000-4.fc41

2.39.9000-5.fc41

binutils

2.42.50-4.fc41

2.42.50-5.fc41

kernel-srpm-macros

1.0-22.fc40

1.0-23.fc41

go-srpm-macros

3.4.0-2.fc40

3.5.0-1.fc41

forge-srpm-macros

0.2.0-3.fc40

0.3.0-1.fc41

glibc-minimal-langpack

2.39.9000-4.fc41

2.39.9000-5.fc41

ghc-srpm-macros

1.7-1.fc41

1.9-1.fc41

rust-srpm-macros

26.1-1.fc41

26.2-1.fc41

elfutils-debuginfod-client

0.190-6.fc40

0.191-2.fc41

systemd-libs

255.3-1.fc40

255.4-1.fc41

binutils-gold

2.42.50-4.fc41

2.42.50-5.fc41

elfutils-libelf

0.190-6.fc40

0.191-2.fc41

kernel-headers

6.8.0-0.rc6.49.fc41

6.8.0-0.rc7.55.fc41

openssl-libs

1:3.2.1-2.fc40

1:3.2.1-3.fc41

annobin-docs

12.41-1.fc41

12.44-1.fc41

glibc-headers-x86

2.39.9000-4.fc41

2.39.9000-5.fc41

libssh-config

0.10.6-4.fc40

0.10.6-6.fc41

elfutils

0.190-6.fc40

0.191-2.fc41

5.6.0-2.fc41

5.6.1-1.fc41

python-pip-wheel

23.3.2-1.fc40

24.0-2.fc41

libssh

0.10.6-4.fc40

0.10.6-6.fc41

crypto-policies

20240201-2.git9f501f3....

20240304-1.git0375239....

shadow-utils

2:4.15.0rc2-1.fc41

2:4.15.0rc3-1.fc41

elfutils-default-yama-scope

0.190-6.fc40

0.191-2.fc41

elfutils-libs

0.190-6.fc40

0.191-2.fc41

libeconf

0.5.2-3.fc40

0.6.2-1.fc41

libnghttp2

1.59.0-2.fc40

1.60.0-2.fc41

xz-libs

5.6.0-2.fc41

5.6.1-1.fc41

tzdata

2024a-2.fc40

2024a-4.fc41

gdb-minimal

14.1-9.fc41

14.2-1.fc41

show 24 more collapse

114282565

2024-03-01 12:32:18

aarch64

├114282825 ( build.log | root.log )

x86_64

└114282824 ( build.log | root.log )

gcc-c++

14.0.1-0.7.fc41

14.0.1-0.8.fc41

glibc

2.39.9000-3.fc41

2.39.9000-4.fc41

texlive-base

11:20230311-81.fc40

11:20230311-82.fc41

libgcc

14.0.1-0.7.fc41

14.0.1-0.8.fc41

libstdc++-devel

14.0.1-0.7.fc41

14.0.1-0.8.fc41

libstdc++

14.0.1-0.7.fc41

14.0.1-0.8.fc41

gcc

14.0.1-0.7.fc41

14.0.1-0.8.fc41

glibc-common

2.39.9000-3.fc41

2.39.9000-4.fc41

annobin-plugin-gcc

12.40-2.fc41

12.41-1.fc41

glibc-gconv-extra

2.39.9000-3.fc41

2.39.9000-4.fc41

openblas-srpm-macros

2-16.fc40

2-17.fc41

python3

3.12.2-1.fc40

3.12.2-2.fc41

glibc-devel

2.39.9000-3.fc41

2.39.9000-4.fc41

perl-Encode

4:3.20-504.fc41

4:3.21-505.fc41

ghc-srpm-macros

1.6.1-5.fc40

1.7-1.fc41

cpp

14.0.1-0.7.fc41

14.0.1-0.8.fc41

libgomp

14.0.1-0.7.fc41

14.0.1-0.8.fc41

gcc-plugin-annobin

14.0.1-0.7.fc41

14.0.1-0.8.fc41

glibc-minimal-langpack

2.39.9000-3.fc41

2.39.9000-4.fc41

util-linux

2.40-0.9.rc1.fc41

2.40-0.11.rc1.fc41

python3-libs

3.12.2-1.fc40

3.12.2-2.fc41

libsmartcols

2.40-0.9.rc1.fc41

2.40-0.11.rc1.fc41

flexiblas-netlib

3.4.1-3.fc40

3.4.2-1.fc41

util-linux-core

2.40-0.9.rc1.fc41

2.40-0.11.rc1.fc41

annobin-docs

12.40-2.fc41

12.41-1.fc41

kernel-headers

6.8.0-0.rc5.41.fc41

6.8.0-0.rc6.49.fc41

libuuid

2.40-0.9.rc1.fc41

2.40-0.11.rc1.fc41

libblkid

2.40-0.9.rc1.fc41

2.40-0.11.rc1.fc41

libmount

2.40-0.9.rc1.fc41

2.40-0.11.rc1.fc41

glibc-headers-x86

2.39.9000-3.fc41

2.39.9000-4.fc41

libfdisk

2.40-0.9.rc1.fc41

2.40-0.11.rc1.fc41

authselect-libs

1.5.0-4.fc41

1.5.0-5.fc41

fedora-release-identity-basic

41-0.3

41-0.6

authselect

1.5.0-4.fc41

1.5.0-5.fc41

fedora-release

41-0.3

41-0.6

flexiblas

3.4.1-3.fc40

3.4.2-1.fc41

5.4.6-1.fc40

5.6.0-2.fc41

perl-Text-Tabs+Wrap

2023.0511-5.fc40

2024.001-1.fc41

crypto-policies

20240201-1.git9f501f3....

20240201-2.git9f501f3....

fedora-release-common

41-0.3

41-0.6

flexiblas-openblas-openmp

3.4.1-3.fc40

3.4.2-1.fc41

libunistring

1.1-7.fc40

1.1-7.fc41

gdb-minimal

14.1-8.fc40

14.1-9.fc41

libffi

3.4.4-7.fc40

3.4.4-8.fc41

xz-libs

5.4.6-1.fc40

5.6.0-2.fc41

libgfortran

14.0.1-0.7.fc41

14.0.1-0.8.fc41

libquadmath

14.0.1-0.7.fc41

14.0.1-0.8.fc41

show 37 more collapse

113999590

2024-02-24 17:41:11

aarch64

├113999789 ( build.log | root.log )

x86_64

└113999788 ( build.log | root.log )

gcc-c++

14.0.1-0.4.fc40

14.0.1-0.7.fc41

remake

0.14-8.fc39

0.14-10.fc40

flocq

4.1.3-1.fc40

4.1.4-1.fc40

coq

8.18.0-1.fc40

8.18.0-4.fc40

ocaml-zarith-devel

1.13-4.fc40

1.13-6.fc40

ocaml

5.1.1-2.fc40

5.1.1-4.fc40

gappa

1.4.2-1.fc40

1.4.2-3.fc40

autoconf

2.71-7.fc40

2.72-1.fc41

ocaml-findlib

1.9.6-8.fc40

1.9.6-11.fc40

libzstd-devel

1.5.5-4.fc39

1.5.5-5.fc40

perl-Text-ParseWords

3.31-500.fc39

3.31-502.fc40

perl-PathTools

3.89-500.fc39

3.89-502.fc40

perl-constant

1.33-501.fc39

1.33-503.fc40

perl-File-Basename

2.86-504.fc40

2.86-506.fc40

perl-interpreter

4:5.38.2-504.fc40

4:5.38.2-506.fc40

mpfr

4.2.1-1.fc40

4.2.1-3.fc40

gcc

14.0.1-0.4.fc40

14.0.1-0.7.fc41

bash

5.2.26-1.fc40

5.2.26-3.fc40

perl-Getopt-Long

1:2.57-1.fc40

1:2.57-3.fc40

perl-File-stat

1.13-504.fc40

1.13-506.fc40

perl-Class-Struct

0.68-504.fc40

0.68-506.fc40

perl-File-Temp

1:0.231.100-501.fc40

1:0.231.100-503.fc40

libmpc

1.3.1-3.fc39

1.3.1-5.fc40

coq-core

8.18.0-1.fc40

8.18.0-4.fc40

ocaml-srpm-macros

9-1.fc40

9-3.fc40

texlive-base

11:20230311-79.fc40

11:20230311-81.fc40

perl-Errno

1.37-504.fc40

1.37-506.fc40

perl-Data-Dumper

2.188-501.fc39

2.188-503.fc40

perl-File-Copy

2.41-504.fc40

2.41-506.fc40

perl-File-Compare

1.100.700-504.fc40

1.100.700-506.fc40

glibc

2.38.9000-35.fc40

2.39.9000-3.fc41

ocaml-runtime

5.1.1-2.fc40

5.1.1-4.fc40

perl-Exporter

5.78-1.fc40

5.78-3.fc40

gmp-devel

1:6.2.1-5.fc39

1:6.3.0-1.fc41

gmp

1:6.2.1-5.fc39

1:6.3.0-1.fc41

libstdc++

14.0.1-0.4.fc40

14.0.1-0.7.fc41

redhat-rpm-config

280-1.fc40

285-1.fc41

ocaml-zarith

1.13-4.fc40

1.13-6.fc40

csdp-tools

6.2.0-16.fc39

6.2.0-18.fc40

perl-POSIX

2.13-504.fc40

2.13-506.fc40

libstdc++-devel

14.0.1-0.4.fc40

14.0.1-0.7.fc41

libgcc

14.0.1-0.4.fc40

14.0.1-0.7.fc41

libzstd

1.5.5-4.fc39

1.5.5-5.fc40

perl-IO

1.52-504.fc40

1.52-506.fc40

perl-File-Find

1.43-504.fc40

1.43-506.fc40

1.4.19-7.fc40

1.4.19-9.fc40

emacs-filesystem

1:29.2-2.fc40

1:29.2-3.fc40

perl-libs

4:5.38.2-504.fc40

4:5.38.2-506.fc40

perl-Carp

1.54-500.fc39

1.54-502.fc40

zlib-ng-compat

2.1.6-1.fc40

2.1.6-2.fc40

openblas-srpm-macros

2-14.fc39

2-16.fc40

grep

3.11-5.fc40

3.11-7.fc40

glibc-devel

2.38.9000-35.fc40

2.39.9000-3.fc41

perl-parent

1:0.241-500.fc39

1:0.241-502.fc40

kernel-srpm-macros

1.0-20.fc39

1.0-22.fc40

util-linux

2.39.3-4.fc40

2.40-0.9.rc1.fc41

perl-Scalar-List-Utils

5:1.63-500.fc39

5:1.63-503.fc40

libxcrypt

4.4.36-4.fc40

4.4.36-5.fc40

python3

3.12.1-2.fc40

3.12.2-1.fc40

rpm

4.19.1-2.fc40

4.19.1.1-1.fc40

perl-DynaLoader

1.54-504.fc40

1.54-506.fc40

qt5-srpm-macros

5.15.12-1.fc40

5.15.12-3.fc40

perl-overload

1.37-504.fc40

1.37-506.fc40

zig-srpm-macros

1-1.fc40

1-2.fc40

zip

3.0-39.fc40

3.0-40.fc40

csdp

6.2.0-16.fc39

6.2.0-18.fc40

perl-locale

1.10-504.fc40

1.10-506.fc40

perl-base

2.27-504.fc40

2.27-506.fc40

pkgconf-pkg-config

1.9.5-2.fc39

2.1.0-1.fc40

go-srpm-macros

3.3.1-1.fc40

3.4.0-2.fc40

forge-srpm-macros

0.2.0-1.fc40

0.2.0-3.fc40

fonts-srpm-macros

1:2.0.5-12.fc39

1:2.0.5-14.fc40

glibc-common

2.38.9000-35.fc40

2.39.9000-3.fc41

cpp

14.0.1-0.4.fc40

14.0.1-0.7.fc41

gcc-plugin-annobin

14.0.1-0.4.fc40

14.0.1-0.7.fc41

perl-Socket

4:2.037-3.fc39

4:2.037-5.fc40

package-notes-srpm-macros

0.5-9.fc39

0.5-11.fc40

file

5.45-1.fc40

5.45-5.fc41

annobin-plugin-gcc

12.38-1.fc40

12.40-2.fc41

glibc-gconv-extra

2.38.9000-35.fc40

2.39.9000-3.fc41

ghc-srpm-macros

1.6.1-3.fc40

1.6.1-5.fc40

ansible-srpm-macros

1-12.fc40

1-14.fc40

perl-Encode

4:3.20-501.fc40

4:3.20-504.fc41

findutils

1:4.9.0-6.fc40

1:4.9.0-8.fc40

sed

4.8-14.fc39

4.9-1.fc40

coreutils

9.4-3.fc40

9.4-6.fc40

perl-Fcntl

1.15-504.fc40

1.15-506.fc40

basesystem

11-18.fc39

11-20.fc40

perl-Symbol

1.09-504.fc40

1.09-506.fc40

glibc-minimal-langpack

2.38.9000-35.fc40

2.39.9000-3.fc41

perl-B

1.88-504.fc40

1.88-506.fc40

make

1:4.4.1-2.fc39

1:4.4.1-6.fc40

gawk

5.3.0-1.fc40

5.3.0-3.fc40

gnat-srpm-macros

6-3.fc39

6-5.fc40

fpc-srpm-macros

1.3-8.fc39

1.3-12.fc40

perl-Pod-Usage

4:2.03-500.fc39

4:2.03-503.fc40

efi-srpm-macros

5-9.fc39

5-11.fc40

lua-srpm-macros

1-9.fc39

1-13.fc40

perl-File-Path

2.18-501.fc40

2.18-503.fc40

gmp-c++

1:6.2.1-5.fc39

1:6.3.0-1.fc41

libgomp

14.0.1-0.4.fc40

14.0.1-0.7.fc41

filesystem

3.18-6.fc39

3.18-8.fc40

binutils

2.41-30.fc40

2.42.50-4.fc41

perl-srpm-macros

1-51.fc39

1-53.fc40

dwz

0.15-3.fc39

0.15-6.fc40

perl-SelectSaver

1.02-504.fc40

1.02-506.fc40

rust-srpm-macros

25.2-2.fc40

26.1-1.fc41

qt6-srpm-macros

6.6.1-3.fc40

6.6.2-1.fc41

ncurses-libs

6.4-9.20240113.fc40

6.4-12.20240127.fc40

libcap-ng

0.8.4-2.fc40

0.8.4-4.fc40

libattr

2.5.2-1.fc40

2.5.2-3.fc40

jansson

2.13.1-7.fc39

2.13.1-9.fc40

unzip

6.0-62.fc39

6.0-63.fc40

perl-overloading

0.02-504.fc40

0.02-506.fc40

setup

2.14.5-1.fc40

2.14.5-2.fc40

libxcrypt-devel

4.4.36-4.fc40

4.4.36-5.fc40

coreutils-common

9.4-3.fc40

9.4-6.fc40

perl-Pod-Perldoc

3.28.01-501.fc39

3.28.01-503.fc40

bzip2-libs

1.0.8-16.fc39

1.0.8-18.fc40

openssl-libs

1:3.1.4-1.fc40

1:3.2.1-2.fc40

libuuid

2.39.3-4.fc40

2.40-0.9.rc1.fc41

perl-if

0.61.000-504.fc40

0.61.000-506.fc40

kernel-headers

6.8.0-0.rc1.12.fc40

6.8.0-0.rc5.41.fc41

rpm-libs

4.19.1-2.fc40

4.19.1.1-1.fc40

libfdisk

2.39.3-4.fc40

2.40-0.9.rc1.fc41

libblkid

2.39.3-4.fc40

2.40-0.9.rc1.fc41

elfutils-debuginfod-client

0.190-4.fc40

0.190-6.fc40

curl

8.5.0-2.fc40

8.6.0-7.fc41

perl-podlators

1:5.01-500.fc39

1:5.01-502.fc40

glibc-headers-x86

2.38.9000-35.fc40

2.39.9000-3.fc41

pcre2

10.42-2.fc40

10.42-2.fc40.2

libsmartcols

2.39.3-4.fc40

2.40-0.9.rc1.fc41

file-libs

5.45-1.fc40

5.45-5.fc41

pam-libs

1.6.0-1.fc40

1.6.0-2.fc41

rpm-build

4.19.1-2.fc40

4.19.1.1-1.fc40

popt

1.19-3.fc39

1.19-6.fc40

libmount

2.39.3-4.fc40

2.40-0.9.rc1.fc41

libselinux

3.6-2.fc40

3.6-4.fc40

annobin-docs

12.38-1.fc40

12.40-2.fc41

audit-libs

4.0-7.fc40

4.0-8.fc40

perl-Storable

1:3.32-500.fc39

1:3.32-502.fc40

elfutils-libelf

0.190-4.fc40

0.190-6.fc40

pkgconf

1.9.5-2.fc39

2.1.0-1.fc40

readline

8.2-7.fc40

8.2-8.fc40

alternatives

1.26-1.fc40

1.26-3.fc40

libutempter

1.2.1-10.fc39

1.2.1-13.fc40

util-linux-core

2.39.3-4.fc40

2.40-0.9.rc1.fc41

authselect-libs

1.5.0-1.fc40

1.5.0-4.fc41

pkgconf-m4

1.9.5-2.fc39

2.1.0-1.fc40

perl-MIME-Base64

3.16-501.fc40

3.16-503.fc40

perl-FileHandle

2.05-504.fc40

2.05-506.fc40

perl-vars

1.05-504.fc40

1.05-506.fc40

flexiblas-netlib

3.4.1-1.fc40

3.4.1-3.fc40

libcap

2.69-1.fc40

2.69-3.fc40

python3-libs

3.12.1-2.fc40

3.12.2-1.fc40

perl-mro

1.28-504.fc40

1.28-506.fc40

guile30

3.0.7-12.fc40

libarchive

3.7.2-1.fc40

3.7.2-3.fc40

perl-Getopt-Std

1.13-504.fc40

1.13-506.fc40

pam

1.6.0-1.fc40

1.6.0-2.fc41

ncurses-base

6.4-9.20240113.fc40

6.4-12.20240127.fc40

binutils-gold

2.41-30.fc40

2.42.50-4.fc41

libffi

3.4.4-5.fc40

3.4.4-7.fc40

libsepol

3.6-1.fc40

3.6-3.fc40

libunistring

1.1-5.fc40

1.1-7.fc40

fedora-release-identity-basic

40-0.29

41-0.3

openldap

2.6.6-1.fc39

2.6.7-1.fc40

perl-Pod-Simple

1:3.45-4.fc39

1:3.45-6.fc40

libsemanage

3.6-1.fc40

3.6-3.fc40

which

2.21-40.fc39

2.21-41.fc40

bzip2

1.0.8-16.fc39

1.0.8-18.fc40

cyrus-sasl-lib

2.1.28-17.fc40

2.1.28-19.fc40

authselect

1.5.0-1.fc40

1.5.0-4.fc41

rpm-build-libs

4.19.1-2.fc40

4.19.1.1-1.fc40

gzip

1.12-6.fc39

1.13-1.fc40

libpwquality

1.4.5-6.fc39

1.4.5-9.fc40

libevent

2.1.12-9.fc39

2.1.12-12.fc40

libpsl

0.21.5-1.fc40

0.21.5-3.fc40

keyutils-libs

1.6.3-1.fc40

1.6.3-3.fc40

shadow-utils

2:4.14.0-2.fc40

2:4.15.0rc2-1.fc41

perl-Mozilla-CA

20231213-1.fc40

20231213-3.fc40

zstd

1.5.5-4.fc39

1.5.5-5.fc40

perl-URI

5.25-1.fc40

5.27-1.fc40

krb5-libs

1.21.2-3.fc40

1.21.2-5.fc40

5.4.5-1.fc40

5.4.6-1.fc40

libssh

0.10.6-2.fc40

0.10.6-4.fc40

elfutils-libs

0.190-4.fc40

0.190-6.fc40

libssh-config

0.10.6-2.fc40

0.10.6-4.fc40

perl-Term-ANSIColor

5.01-502.fc40

5.01-504.fc40

fedora-repos-rawhide

40-0.2

41-0.1

flexiblas

3.4.1-1.fc40

3.4.1-3.fc40

openblas

0.3.26-1.fc40

0.3.26-4.fc40

perl-Digest-MD5

2.59-1.fc40

2.59-3.fc40

libverto

0.3.2-6.fc39

0.3.2-8.fc40

rpm-sequoia

1.6.0-1.fc40

1.6.0-2.fc40

libtasn1

4.19.0-3.fc39

4.19.0-6.fc40

xz-libs

5.4.5-1.fc40

5.4.6-1.fc40

ncurses

6.4-9.20240113.fc40

6.4-12.20240127.fc40

mpdecimal

2.5.1-7.fc39

2.5.1-9.fc40

perl-Pod-Escapes

1:1.07-501.fc40

1:1.07-503.fc40

perl-libnet

3.15-501.fc39

3.15-503.fc40

flexiblas-openblas-openmp

3.4.1-1.fc40

3.4.1-3.fc40

1.20-1.fc40

1.20.1-1.fc41

libpkgconf

1.9.5-2.fc39

2.1.0-1.fc40

perl-Net-SSLeay

1.94-1.fc40

1.94-3.fc40

perl-HTTP-Tiny

0.088-3.fc39

0.088-5.fc40

libcurl

8.5.0-2.fc40

8.6.0-7.fc41

ca-certificates

2023.2.62_v7.0.401-4.fc40

2023.2.62_v7.0.401-6.fc40

perl-AutoLoader

5.74-504.fc40

5.74-506.fc40

pcre2-syntax

10.42-2.fc40

10.42-2.fc40.2

patch

2.7.6-22.fc39

2.7.6-24.fc40

fedora-gpg-keys

40-0.2

41-0.1

libeconf

0.5.2-1.fc40

0.5.2-3.fc40

libcom_err

1.47.0-2.fc39

1.47.0-5.fc40

info

7.1-1.fc40

7.1-2.fc40

cracklib

2.9.11-2.fc39

2.9.11-5.fc40

gdbm

1:1.23-4.fc39

1:1.23-6.fc40

fedora-release

40-0.29

41-0.3

xxhash-libs

0.8.2-1.fc39

0.8.2-2.fc40

libtirpc

1.3.4-1.rc1.fc40

1.3.4-1.rc2.fc40.2

libquadmath

14.0.1-0.4.fc40

14.0.1-0.7.fc41

expat

2.5.0-3.fc39

2.6.0-1.fc41

p11-kit-trust

0.25.3-1.fc40

0.25.3-4.fc40

debugedit

5.0-12.fc40

5.0-14.fc40

fedora-release-common

40-0.29

41-0.3

libxml2

2.12.4-1.fc40

2.12.5-1.fc40

crypto-policies

20231204-1.git1e3a2e4....

20240201-1.git9f501f3....

tar

2:1.35-2.fc40

2:1.35-3.fc40

perl-IO-Socket-IP

0.42-1.fc39

0.42-2.fc40

perl-Time-Local

2:1.350-3.fc39

2:1.350-5.fc40

tzdata

2023d-2.fc40

2024a-2.fc40

lua-libs

5.4.6-3.fc39

5.4.6-5.fc40

8.2.2-4.fc39

8.2.2-6.fc40

libbrotli

1.1.0-1.fc40

1.1.0-3.fc40

guile22

2.2.7-9.fc39

elfutils-default-yama-scope

0.190-4.fc40

0.190-6.fc40

sqlite-libs

3.45.0-1.fc40

3.45.1-2.fc40

libnghttp2

1.59.0-1.fc40

1.59.0-2.fc40

perl-Term-Cap

1.18-500.fc39

1.18-503.fc40

lz4-libs

1.9.4-4.fc39

1.9.4-6.fc40

gdbm-libs

1:1.23-4.fc39

1:1.23-6.fc40

groff-base

1.23.0-4.fc40

1.23.0-6.fc40

perl-Digest

1.20-500.fc39

1.20-502.fc40

perl-IPC-Open3

1.22-504.fc40

1.22-506.fc40

libb2

0.98.1-9.fc39

0.98.1-11.fc40

openblas-openmp

0.3.26-1.fc40

0.3.26-4.fc40

elfutils

0.190-4.fc40

0.190-6.fc40

perl-Text-Tabs+Wrap

2023.0511-3.fc39

2023.0511-5.fc40

gdb-minimal

14.1-4.fc40

14.1-8.fc40

diffutils

3.10-3.fc39

3.10-5.fc40

libgfortran

14.0.1-0.4.fc40

14.0.1-0.7.fc41

publicsuffix-list-dafsa

20240107-1.fc40

20240107-3.fc40

p11-kit

0.25.3-1.fc40

0.25.3-4.fc40

fedora-repos

40-0.2

41-0.1

show 244 more collapse

2024-02-24 17:25:21

Package dependencies resolved successfuly

2024-01-29 17:31:00

Package resolution failed

Problem: package flocq-4.1.3-3.fc40.x86_64 requires coq(x86-64) = 8.18.0, but none of the providers can be installed
- package coq-8.18.0-3.fc40.x86_64 requires coq-core(x86-64) = 8.18.0-3.fc40, but none of the providers can be installed
- conflicting requests
- nothing provides ocamlx(Dynlink) = 2f3227218c1fd7c2b65922cfd19aeade needed by coq-core-8.18.0-3.fc40.x86_64
- nothing provides ocamlx(Dynlink_common) = a48c67c9c1805220b2ae150d3636e938 needed by coq-core-8.18.0-3.fc40.x86_64
Problem: package coq-8.18.0-3.fc40.x86_64 requires coq-core(x86-64) = 8.18.0-3.fc40, but none of the providers can be installed
- conflicting requests
- nothing provides ocamlx(Dynlink) = 2f3227218c1fd7c2b65922cfd19aeade needed by coq-core-8.18.0-3.fc40.x86_64
- nothing provides ocamlx(Dynlink_common) = a48c67c9c1805220b2ae150d3636e938 needed by coq-core-8.18.0-3.fc40.x86_64

Previous history