Job modulectomy

Build 2022-11-04 11:33:30Z

Built on platform debian-10

Build took 15min27s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/modulectomy.deb

SHA256:76c62d293f54a8c52546f1cf7cc7e24a703206f4e99cd27b3591713c02b44804 (1.41MB)

opam-switch

SHA256:2a9db0c5d471fb54c2336cea76fe020d1052b2394f65c2cd16a42c551c8ef854 (44.1kB)

build-environment

SHA256:439f022053e0715c12a9c54ceb794a90b93c51c748d319cb83a5a990f1b36a47 (350B)

system-packages

SHA256:9a7aa7c67d2a4de4f5b82aeb7535107c51ebe2e7b160e4e8a129b544ed75c411 (4.25kB)

Reproduced by 3 builds

• on debian-10, same input, 2022-11-03 10:22:28Z
• on debian-10, different input, 2022-11-16 11:06:29Z
• on debian-10, different input, 2022-11-05 09:54:50Z

Comparisons with other builds on the same platform

• Latest build 2024-05-17 13:05:03Z
• Later build with different output 2022-11-17 11:48:55Z
• Earlier build with different output 2022-11-02 10:48:49Z

?