From 88205aeb9e4212fd90b07ba22dae4287e8f8483b Mon Sep 17 00:00:00 2001
From: Brad Bell <bradbell@seanet.com>
Date: Tue, 8 Jan 2013 23:35:40 -0700
Subject: [PATCH] forgot to update sources

---
 sources | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sources b/sources
index 090db7a..aab2034 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-e3237092cdcbfb38600baeb49531fbfe  cppad-20120101.1.gpl.tgz
+9aa7d3a8cf0bfb892579d736f18ea358  cppad-20130000.1.gpl.tgz