cargo / linlog-cli
linlog-cli 0.1.0
RisknoneVulnslow- processes
- 389
- operations
- 32K
- packages
- 141
- compiler runs
- 249
- connections
- 1
- job time
- 1m 50s
- capture
- 387 KB
- records
- 60K
- bytes / record
- 6.5
The linlog command: decide, check, prove step by step and export sequents of linear logic, and ordinary logic through its translations.
Artifact
- liblinlog_cli.rlibfile · retained · product
- linlogbinary · retained · product 2
Checks
13 of 14 clear Dependency advisoriesBuild behavior✓✓✓✓✓✓✓✓
Supply chain✓✓▲✓✓
Pipeline✓
Detections
0No detections
No abnormal activity detected across 32K flows.
Network
1 peers- static.crates.io:8080 ecosystem
| Vulnerabilities2 | Package | Fix | Severity |
|---|---|---|---|
| RUSTSEC-2026-0206 | rustybuzz 0.20.1 | none published | low |
| RUSTSEC-2026-0192 | ttf-parser 0.25.1 | none published | low |
| Dependencies143 | Build behaviour |
|---|---|
| anstream1.0.0 | |
| anstyle1.0.14 | |
| anstyle-parse1.0.0 | |
| anstyle-query1.1.5 | |
| anyhow1.0.104 | |
| arrayref0.3.9 | |
| arrayvec0.7.8 | |
| base640.22.1 | |
| bitflags2.13.2 | |
| bumpalo3.20.3 | |
| bytemuck1.25.2 | |
| byteorder-lite0.1.0 | |
| cfg-if1.0.5 | |
| clap4.6.7 | |
| clap_builder4.6.7 | |
| clap_lex1.1.1 | |
| color_quant1.1.0 | |
| colorchoice1.0.5 | |
| crc32fast1.5.2 | |
| crossbeam-deque0.8.8 | |
| crossbeam-epoch0.9.21 | |
| crossbeam-utils0.8.23 | |
| ctrlc3.5.2 | |
| data-url0.3.2 | |
| either1.18.0 | |
| equivalent1.0.2 | |
| fdeflate0.3.7 | |
| flate21.1.10 | |
| float-cmp0.9.0 | |
| foldhash0.1.5 | |
| font-types0.11.3 | |
| fontconfig-parser0.5.8 | |
| fontdb0.23.0 | |
| gif0.14.2 | |
| hashbrown0.17.1 | |
| image-webp0.2.4 | |
| imagesize0.14.0 | |
| indexmap2.14.2 | |
| is_terminal_polyfill1.70.2 | |
| itoa1.0.18 | |
| krilla0.8.2 | |
| krilla-svg0.8.1 | |
| kurbo0.13.1 | |
| ld-linux-x86-64.so.2 | |
| libc0.2.189 | |
| libc.so.6 | |
| libgcc_s.so.1 | |
| libm.so.6 | |
| libmvec.so.1 | |
| linlog0.1.0 | |
| linux-raw-sys0.12.1 | |
| log0.4.34 | |
| memchr2.8.3 | |
| memmap20.9.11 | |
| miniz_oxide0.9.1 | |
| nix0.31.3 | |
| num-traits0.2.19 | |
| pdf-writer0.15.0 | |
| png0.18.1 | |
| polycool0.4.0 | |
| quick-error2.0.1 | |
| rayon1.12.0 | |
| rayon-core1.13.0 | |
| read-fonts0.39.2 | |
| resvg0.47.0 | |
| rgb0.8.53 | |
| roxmltree0.20.0 | |
| roxmltree0.21.1 | |
| rustc-hash2.1.3 | |
| rustix1.1.5 | |
| rustybuzz0.20.1 | |
| ryu1.0.23 | |
| serde1.0.229 | |
| serde_core1.0.229 | |
| serde_json1.0.149 | |
| simd-adler320.3.10 | |
| simplecss0.2.2 | |
| siphasher1.0.4 | |
| skrifa0.42.1 | |
| slotmap1.1.1 | |
| smallvec1.16.2 | |
| stable_deref_trait1.2.1 | |
| strict-num0.1.1 | |
| strsim0.11.1 | |
| subsetter0.2.6 | |
| svgtypes0.16.1 | |
| terminal_size0.4.4 | |
| thiserror2.0.21 | |
| tiny-skia0.12.0 | |
| tiny-skia-path0.12.0 | |
| tinyvec1.13.3 | |
| ttf-parser0.25.1 | |
| unicase2.9.0 | |
| unicode-bidi0.3.18 | |
| unicode-bidi-mirroring0.4.0 | |
| unicode-ccc0.4.0 | |
| unicode-ident1.0.26 | |
| unicode-normalization0.1.25 | |
| unicode-properties0.1.4 | |
| unicode-script0.5.8 | |
| unicode-vo0.1.0 | |
| unicode-width0.2.2 | |
| usvg0.47.0 | |
| utf8parse0.2.2 | |
| weezl0.1.12 | |
| write-fonts0.48.1 | |
| xmlwriter0.1.0 | |
| xmp-writer0.3.3 | |
| yoke0.8.3 | |
| zerofrom0.1.8 | |
| zmij1.0.23 | |
| zune-core0.5.3 | |
| zune-jpeg0.5.15 | |
| adler22.0.1 | |
| core_maths0.1.1 | |
| libm0.2.16 | |
| miniz_oxide0.8.9 | |
| pico-args0.5.0 | |
| anstyle-wincon3.0.11 | |
| autocfg1.5.1 | |
| block20.6.2 | |
| bytemuck_derive1.12.1 | |
| cfg_aliases0.2.2 | |
| clap_derive4.6.7 | |
| dispatch20.3.1 | |
| errno0.3.14 | |
| euclid0.22.14 | |
| heck0.5.0 | |
| objc20.6.4 | |
| objc2-encode4.1.0 | |
| once_cell_polyfill1.70.2 | |
| proc-macro21.0.107 | |
| quote1.0.47 | |
| serde_derive1.0.229 | |
| syn3.0.6 | |
| synstructure0.14.0 | |
| thiserror-impl2.0.21 | |
| version_check0.9.5 | |
| windows-link0.2.1 | |
| windows-sys0.61.2 | |
| yoke-derive0.8.4 | |
| zerofrom-derive0.1.8 | |
| zlib-rs0.6.8 |
1 of 1 jobs captured: build-test success · Generated 2026-10-19 · run cf7f7bf1-5016-4b38-986c-0d381dfd3035
analysis 0.1.0 · 2026-10-17 · 0abbde9 · graph v2