Commit 76eb72e4 authored by Michael Hanus 's avatar Michael Hanus

Typeclass version packaged

parent 8b2689f7
Pipeline #254 failed with stages