2 search results for "author:"Emilio Jesús Gallego Arias""

Showing 1 - 2
  1. 0.1.8+8.19
    LGPL-2.1-or-later
    Used by 0 other packages
    06 Feb 2024
  2. Serialization library and protocol for machine interaction with the Coq proof assistant
    8.19.0+0.19.1
    LGPL-2.1-or-later
    Used by 1 other packages
    26 Feb 2024