Job modulectomy

Build 2023-05-18 21:24:54Z

Built on platform debian-11

Build took 4min37s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/modulectomy.deb

SHA256:5b02ad822048f88b5b9d0a6ca4b826cb2b59f5eb0e667959e19ac980f9700931 (1.56MB)

system-packages

SHA256:eaaefeb097afea684878b8057ab88a995c4f4d4c2573485063b920a8619c62f3 (4.25kB)

build-environment

SHA256:1a09957d4d69330783d69bb72b27bd84daad358a244fad8e7e8760fb4e6f204a (350B)

opam-switch

SHA256:0c37c840f6004a12eb820d5a275d7c5d002d9e821378e38663c91354a847c121 (45kB)

Reproduced by 2 builds

• on debian-11, same input, 2023-05-17 21:30:03Z
• on debian-11, same input, 2023-05-16 23:31:51Z

Comparisons with other builds on the same platform

• Latest build 2024-04-26 11:58:50Z
• Later build with different output 2023-05-19 21:33:58Z
• Earlier build with different output 2023-05-15 21:33:30Z

?