filnix.pausedLive log

isl

0.20BuiltDependencies →

Library for manipulating sets and relations of integer points bounded by linear constraints

Build log · 13 Sep 16:16 · This campaign

Planning log · 14 Sep 01:11 · This campaign

pkgs/development/libraries/isl/generic.nix

Direct dependencies

bash-5.2p37 gmp-with-cxx-6.3.0 isl-0.20.tar.xz stdenv-linux update-autotools-gnu-config-scripts-hook

Selected dependents

R _4d-minesweeper acl2-minimal adenum adios2 aflplusplus ahk_x11 aligator almo ameba amqpcat apbs apfel apfelgrid apkleaks applgrid arduino-ci arpack-mpi arx-libertatis ataripp atftp ayatana-indicator-bluetooth ayatana-indicator-display ayatana-indicator-power ayatana-indicator-session ayatana-indicator-sound bambu-studio bic blahaj blitz bonmin btdu byzanz c2ffi cakelisp casadi ccls ceres-solver cernlib cholmod-extra chow-centaur chow-phaser cl clang-tools clang-uml clazy cling clipster collision conda coq coq_8_10 coq_8_11 coq_8_12 coq_8_13 coq_8_14 coq_8_15 coq_8_16 coq_8_17 coq_8_18 coq_8_19 coq_8_20 coq_8_5 coq_8_6 coq_8_7 coq_8_8 coq_8_9 coq_9_0 costa cp2k crocoddyl crystal crystal2nix crystal_1_11 crystal_1_14 crystal_1_15 crystalline csdp cudatext cudatext-gtk cudatext-qt cve-bin-tool cvise dalphaball dar dartsim das dbcsr ddd ddrescueview deadbeef deeptools delayarchitect deltatouch distcc distccMasquerade dl-poly-classic-mpi dolfinx doublecmd doxygen_gui