2 search results for "author:"jean-christophe.filliatre@cnrs.fr""

Showing 1 - 2
  1. 0.6
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2016
  2. 1.4.0
    LGPL-2.1-only
    Used by 8 other packages
    01 Feb 2024