add functx 1.0 as package-dependency

Edirom / Edirom-Online

Edirom Online is a tool for presenting historical-critical music editions in digital form.

GNU General Public License v3.0

20 stars 24 forks source link

Closed bwbohl closed 1 year ago

bwbohl commented 1 year ago

bwbohl commented 1 year ago

pinging @peterstadler & @roewenstrunk