Job modulectomy

Build 2024-04-17 11:58:22Z

Built on platform debian-10

Build took 6min25s.

Execution result: exited 0.

Build info

Build artifacts

bin/modulectomy.deb
SHA256:4d91bbdc9031b3324de4e16043cad3de30d429fdce0d3132bc05607876871c1b (1.61MB)
system-packages
SHA256:89158bf3972f841373bad054ce48dfc53bd6e4d3e68148488002339792c39cc0 (4.34kB)
build-environment
SHA256:fff28f21bb22e15e7b89eb3b0812b7f1c143ebafa696b8a7615b3163cbcb4af2 (306B)
opam-switch
SHA256:ccdf3f13aae9bb59ee04bcd8ace62c0771e0bb960f5afcfd999bcc15af998fb1 (45.1kB)

Reproduced by 33 builds

Comparisons with other builds on the same platform


?