12 search results for "tag:"program""

Showing 1 - 12
  1. 0.8.1
    LGPL-2.1-or-later
    Used by 0 other packages
    01 Nov 2023
  2. bsbnative

    No documentation

    bsb-native is BuckleScript's bsb but for ocamlc and ocamlopt
    1.9.4
    SEE LICENSE IN LICENSE
    Used by 0 other packages
    10 Oct 2017
  3. 28.0
    LGPL-2.1-only
    Used by 2 other packages
    06 Dec 2023
  4. frama-c-base

    No documentation

    15.0
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2018
  5. 0.5
    LGPL-2.1-only
    Used by 0 other packages
    28 Jul 2015
  6. 0.5
    LGPL-2.1-only
    Used by 0 other packages
    22 Nov 2023
  7. 0.3.0
    GPL-3.0-or-later
    Used by 0 other packages
    16 Jan 2024
  8. why

    No documentation

    2.41
    LGPL-2.1-only
    Used by 0 other packages
    03 Jul 2018
  9. 1.7.1
    LGPL-2.1-only
    Used by 7 other packages
    25 Jan 2024
  10. why3-base

    No documentation

    0.88.3
    LGPL-2.1-only
    Used by 1 other packages
    12 Jan 2018
  11. 1.7.1
    LGPL-2.1-only
    Used by 0 other packages
    25 Jan 2024
  12. 1.7.1
    LGPL-2.1-only
    Used by 0 other packages
    25 Jan 2024