2 search results for "author:"Benjamin C. Pierce""

Showing 1 - 2
  1. unison
    Documentation
    File-synchronization tool for Unix and Windows
    Trevor Jim Benjamin C. Pierce Jérôme Vouillon
    2.53.7
    GPL-3.0-or-later
    Used by 1 other packages
    06 Nov 2024
  2. unison-gui
    Documentation
    Pseudo-package for Unison GUI
    Trevor Jim Benjamin C. Pierce Jérôme Vouillon
    2.53.7
    GPL-3.0-or-later
    Used by 0 other packages
    06 Nov 2024