3 search results for "author:"Pascal Cuoq""

Showing 1 - 3
  1. 29.0
    LGPL-2.1-only
    Used by 6 other packages
    13 Jun 2024
  2. frama-c-base

    No documentation

    15.0
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2018
  3. Implements arithmetic and logical operations over arbitrary-precision integers
    1.14
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 130 other packages
    15 Jul 2024