5 Commits

Author	SHA1	Message	Date
Simon Lackerbauer	f7367cbf1c	abella: 2.0.5 -> 2.0.6	2019-01-08 17:05:30 +00:00
Ben Darwin	d2c20d3a21	abella: 2.0.4 -> 2.0.5	2018-04-04 08:15:01 +02:00
Simon Lackerbauer	800f751740	abella: 2.0.2 -> 2.0.4	2017-10-16 02:39:16 +02:00
Vincent Laporte	3b7c68615e	abella: fix build with OCaml ≥ 4.03	2017-09-22 03:32:06 +00:00
Ben Darwin	172167c937	new package: abella 2.0.2	2015-03-24 00:54:03 -04:00