Skip to content

Tags: sneeuwballen/zipperposition

Tags

2.1

Toggle 2.1's commit message

Verified

This commit was signed with the committer’s verified signature.
c-cube Simon Cruanes
chore: add license to opam files

casc-2021

Toggle casc-2021's commit message
many bugfixes

2.0

Toggle 2.0's commit message
chore: fix constraints in opam

casc-2020

Toggle casc-2020's commit message
changed defaults

1.6

Toggle 1.6's commit message
prepare for 1.6

1.5.1

Toggle 1.5.1's commit message
chore: fix opam file wrt missing test-dep for logtk, jobs, conflicts

1.5

Toggle 1.5's commit message
Merge branch 'master' into stable for 1.5

1.4

Toggle 1.4's commit message
Prepare for 1.4

1.3

Toggle 1.3's commit message
Merge branch 'master' into stable, prepare for 1.3

1.2

Toggle 1.2's commit message
Merge branch 'master' into stable for 1.2