Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
Agda-stdlib
Epoch
None
Version
1.7.3
Release
5.fc40
Started
2024-03-19 13:03:03
Finished
2024-03-19 13:27:06
Koji repo
5934257
Koji tasks
complete
115164198
aarch64
└115164449
closed
Build logs
aarch64
build.log
|
root.log
Dependency changes from previous build
ghc-Cabal-devel
3.8.1.0-
139
.fc40
3.8.1.0-
140
.fc40
1
ghc-directory-devel
1.3.7.1-
139
.fc40
1.3.7.1-
140
.fc40
2
ghc-bytestring-devel
0.11.4.0-
139
.fc40
0.11.4.0-
140
.fc40
2
ghc-time-devel
1.12.2-
139
.fc40
1.12.2-
140
.fc40
2
ghc-array-devel
0.5.4.0-
139
.fc40
0.5.4.0-
140
.fc40
2
ghc-mtl-devel
2.2.2-
139
.fc40
2.2.2-
140
.fc40
2
ghc-transformers-devel
0.5.6.2-
139
.fc40
0.5.6.2-
140
.fc40
2
ghc-deepseq-devel
1.4.8.0-
139
.fc40
1.4.8.0-
140
.fc40
2
ghc-base-devel
4.17.1.0-
139
.fc40
4.17.1.0-
140
.fc40
2
ghc-text-devel
2.0.2-
139
.fc40
2.0.2-
140
.fc40
2
ghc-parsec-devel
3.1.16.1-
139
.fc40
3.1.16.1-
140
.fc40
2
ghc-containers-devel
0.6.7-
139
.fc40
0.6.7-
140
.fc40
2
ghc-Cabal-syntax-devel
3.8.1.0-
139
.fc40
3.8.1.0-
140
.fc40
2
ghc-pretty-devel
1.1.3.6-
139
.fc40
1.1.3.6-
140
.fc40
2
ghc-Cabal
3.8.1.0-
139
.fc40
3.8.1.0-
140
.fc40
2
ghc-compiler
9.4.5-
139
.fc40
9.4.5-
140
.fc40
2
ghc-process-devel
1.6.16.0-
139
.fc40
1.6.16.0-
140
.fc40
2
ghc-filepath-devel
1.4.2.2-
139
.fc40
1.4.2.2-
140
.fc40
2
ghc-unix-devel
2.7.3-
139
.fc40
2.7.3-
140
.fc40
2
ghc-ghc-boot
9.4.5-
139
.fc40
9.4.5-
140
.fc40
3
ghc-text
2.0.2-
139
.fc40
2.0.2-
140
.fc40
3
ghc-bytestring
0.11.4.0-
139
.fc40
0.11.4.0-
140
.fc40
3
ghc-pretty
1.1.3.6-
139
.fc40
1.1.3.6-
140
.fc40
3
ghc-mtl
2.2.2-
139
.fc40
2.2.2-
140
.fc40
3
ghc-template-haskell
2.19.0.0-
139
.fc40
2.19.0.0-
140
.fc40
3
ghc-libiserv
9.4.5-
139
.fc40
9.4.5-
140
.fc40
3
ghc-binary-devel
0.8.9.1-
139
.fc40
0.8.9.1-
140
.fc40
3
ghc-xhtml
3000.2.2.1-
139
.fc40
3000.2.2.1-
140
.fc40
3
ghc-Cabal-syntax
3.8.1.0-
139
.fc40
3.8.1.0-
140
.fc40
3
ghc-template-haskell-devel
2.19.0.0-
139
.fc40
2.19.0.0-
140
.fc40
3
ghc-ghc-bignum-devel
1.3-
139
.fc40
1.3-
140
.fc40
3
ghc-array
0.5.4.0-
139
.fc40
0.5.4.0-
140
.fc40
3
ghc-parsec
3.1.16.1-
139
.fc40
3.1.16.1-
140
.fc40
3
ghc-ghc-boot-th
9.4.5-
139
.fc40
9.4.5-
140
.fc40
3
ghc-process
1.6.16.0-
139
.fc40
1.6.16.0-
140
.fc40
3
ghc-time
1.12.2-
139
.fc40
1.12.2-
140
.fc40
3
ghc-hpc
0.6.1.0-
139
.fc40
0.6.1.0-
140
.fc40
3
ghc-terminfo
0.4.1.5-
139
.fc40
0.4.1.5-
140
.fc40
3
ghc-unix
2.7.3-
139
.fc40
2.7.3-
140
.fc40
3
ghc-directory
1.3.7.1-
139
.fc40
1.3.7.1-
140
.fc40
3
ghc-ghc-bignum
1.3-
139
.fc40
1.3-
140
.fc40
3
ghc-containers
0.6.7-
139
.fc40
0.6.7-
140
.fc40
3
ghc-filesystem
9.4.5-
139
.fc40
9.4.5-
140
.fc40
3
ghc-filepath
1.4.2.2-
139
.fc40
1.4.2.2-
140
.fc40
3
ghc-deepseq
1.4.8.0-
139
.fc40
1.4.8.0-
140
.fc40
3
ghc-base
4.17.1.0-
139
.fc40
4.17.1.0-
140
.fc40
3
ghc-ghc
9.4.5-
139
.fc40
9.4.5-
140
.fc40
3
ghc-transformers
0.5.6.2-
139
.fc40
0.5.6.2-
140
.fc40
3
ghc-ghci
9.4.5-
139
.fc40
9.4.5-
140
.fc40
3
ghc-binary
0.8.9.1-
139
.fc40
0.8.9.1-
140
.fc40
3
ghc-stm
2.5.1.0-
139
.fc40
2.5.1.0-
140
.fc40
3
ghc-haskeline
0.8.2-
139
.fc40
0.8.2-
140
.fc40
3
ghc-exceptions
0.10.5-
139
.fc40
0.10.5-
140
.fc40
3
ghc-ghc-heap
9.4.5-
139
.fc40
9.4.5-
140
.fc40
3
ghc-ghc-boot-th-devel
9.4.5-
139
.fc40
9.4.5-
140
.fc40
4
show 45 more
collapse