Job modulectomy

Build 2023-05-25 21:34:16Z

Built on platform debian-10

Build took 4min37s.

Execution result: exited 0.

Build info

Build artifacts

bin/modulectomy.deb
SHA256:c5e6f052a6fdecf4f8158460eb7db37f995abedc8503ec23e6e9014dbbd46564 (1.57MB)
build-environment
SHA256:439f022053e0715c12a9c54ceb794a90b93c51c748d319cb83a5a990f1b36a47 (350B)
opam-switch
SHA256:b5c0bc0ba78c7fb1a88e086bda30be26c9fd72a9fe153876f287a774cae04cbe (45kB)
system-packages
SHA256:00fe2259a70d4e012bc4da112eefa5bbd1875663466d735fee0093260b1e2bbe (4.3kB)

Reproduced by 12 builds

Comparisons with other builds on the same platform


?