s390x build of mathcomp-algebra-tactics 1.2.3-1build5 in ubuntu noble RELEASE
created
Build status
Successfully built on bos02-s390x-017
- Started
- Finished (took 8 minutes, 49.4 seconds)
- buildlog (28.5 KiB)
- mathcomp-algebra-tactics_1.2.3-1build5_s390x.changes (1.3 KiB)
- mathcomp-algebra-tactics_1.2.3-1build5_s390x.buildinfo (7.8 KiB)
Binary packages
Binary packages awaiting publication:
- libcoq-mathcomp-algebra-tactics-1.2.3-1build5
Built files
Files resulting from this build: