Job modulectomy

Build 2022-08-24 08:54:34Z

Built on platform debian-11

Build took 15min57s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/modulectomy.deb

SHA256:505b1dfa5ca754cf0956501afb8c62ddcecbd638c6ca92fc392ed2c12245dcbf (1.41MB)

opam-switch

SHA256:13fcd1103df3a99dc59d3872bcabc29e6452dabfae63ba9553aa4f8369e8e7d3 (44kB)

build-environment

SHA256:1a09957d4d69330783d69bb72b27bd84daad358a244fad8e7e8760fb4e6f204a (350B)

system-packages

SHA256:f73ab4c91dbf713b63dd07a2ede5416aa069c0894eb858cbd5087b55cdad19e7 (4.08kB)

Reproduced by 1 builds

• on debian-11, same input, 2022-08-24 08:24:50Z

Comparisons with other builds on the same platform

• Latest build 2024-04-26 11:58:50Z
• Later build with different output 2022-08-25 08:47:06Z

?