Publishing details
Changelog
aac-tactics (0.4-5build2) xenial; urgency=medium
* No-change rebuild against ocaml 4.02.
-- Ćukasz 'sil2100' Zemczak <email address hidden> Wed, 04 Nov 2015 18:04:52 -0600
Builds
Built packages
-
libaac-tactics-coq
Coq tactics for reasoning modulo AC (theories)
-
libaac-tactics-ocaml
Coq tactics for reasoning modulo AC (plugin)
-
libaac-tactics-ocaml-dev
Coq tactics for reasoning modulo AC (devt files)
Package files