caledon 3.2.0.0 → 3.2.1.0

raw patch · 1 files changed

+1/−1 lines, 1 files

Files

• caledon.cabal +1/−1

@@ -1,6 +1,6 @@ Name: caledon -Version: 3.2.0.0+Version: 3.2.1.0  Description:         a dependently typed, polymorphic, higher order logic programming language based on the calculus of constructions designed for easier metaprogramming capabilities.