amd64 build of elpi 1.15.2-1 in ubuntu kinetic RELEASE
created
Build status
Successfully built on lgw01-amd64-019
- Started
- Finished (took 5 minutes, 21.2 seconds)
- buildlog (20.5 KiB)
- elpi_1.15.2-1_amd64.changes (1.7 KiB)
- elpi_1.15.2-1_amd64.buildinfo (6.8 KiB)
Build details
Binary packages
Binary packages awaiting publication:
- elpi-1.15.2-1
- libelpi-ocaml-1.15.2-1
- libelpi-ocaml-dev-1.15.2-1
Built files
Files resulting from this build:
- elpi_1.15.2-1_amd64.deb (1.3 MiB)
- libelpi-ocaml-dev_1.15.2-1_amd64.deb (11.9 MiB)
- libelpi-ocaml_1.15.2-1_amd64.deb (6.0 MiB)