garrinkimmell/smt-lib — pull request #1 by xich (2012-02-08 03:36:41+00:00)
Title: Bump array version to build with 7.4

This should fix things so jenkins can keep building the project.