Olivier
/
inferno-experimental
2
0
Fork 1
Code Issues 15 Pull Requests 5 Releases Wiki Activity
538 Commits
51 Branches
5 Tags
4.6 MiB
Tag: Branch: Tree: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Commit Graph

3 Commits (master)

Author SHA1 Message Date
François Pottier 3777eaf90a Add a version constraint on Menhir (actually, MenhirLib).
12 months ago
François Pottier b1885b8e9a Add missing dependency of inferno-sample-client on inferno.
1 year ago
François Pottier 27c9bee9d0 Split off the package inferno-sample-client.
1 year ago