Job modulectomy

Build 2023-11-20 13:00:57Z

Built on platform ubuntu-18.04

Build took 6min1s.

Execution result: exited 0.

Build info

Build artifacts

bin/modulectomy.deb
SHA256:b828ea8ac6d8d6d2bd051db7719b6a2be058585072a01c53cab2ad4e7e3aa8e0 (1.56MB)
system-packages
SHA256:f84799c96fb44a8ae5e6ce75fe1b49863c57ae415de90cec5985cd9234b1daed (5.49kB)
build-environment
SHA256:42af9373c7ba94328bc39e64f99e76934675d5b7e517b0e3e9a7ceaaeafdf543 (353B)
opam-switch
SHA256:231b6dc8e8ad295fa056c951ebcedd9b0ccaeae1f6863a8dd06699397d73d7e2 (45.2kB)

Reproduced by 0 builds

    Comparisons with other builds on the same platform


    ?