Job modulectomy

Build 2022-10-25 12:52:06Z

Built on platform debian-10

Build took 16min24s.

Execution result: exited 0.

Build info

• Console output
• Build script

Build artifacts

bin/modulectomy.deb

SHA256:fd15959246b8e2151d9c389d68054969bf55da0b3b69ef3b049c5f3cc0c6f891 (1.41MB)

opam-switch

SHA256:28935abe43141ae9ee4f0a06f1215036659cbc12dc3556b694db1178c8d83b04 (44.1kB)

build-environment

SHA256:439f022053e0715c12a9c54ceb794a90b93c51c748d319cb83a5a990f1b36a47 (350B)

system-packages

SHA256:ff0eb981f0922285b431aab2657031c648a11449b060a994f9f2aa4334982431 (4.24kB)

Reproduced by 1 builds

• on debian-10, different input, 2022-11-02 10:48:49Z

Comparisons with other builds on the same platform

• Latest build 2024-05-18 11:53:49Z
• Later build with different output 2022-11-03 10:22:28Z
• Earlier build with different output 2022-10-07 14:34:58Z

?