[MLton-commit] r4629

[Stephen Weeks]

Removed dependence on "time" package, since Makefiles no longer use
time (since r2266).


----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/package/debian/control

----------------------------------------------------------------------

Modified: mlton/branches/on-20050822-x86_64-branch/package/debian/control
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/package/debian/control	2006-06-05 02:29:51 UTC (rev 4628)
+++ mlton/branches/on-20050822-x86_64-branch/package/debian/control	2006-06-07 17:54:15 UTC (rev 4629)
@@ -2,7 +2,7 @@
 Section: devel
 Priority: optional
 Maintainer: Stephen Weeks <sweeks@sweeks.com>
-Build-Depends: mlton (>= 20041109-1), htmldoc, libgmp3-dev (>= 4.0.1), tetex-bin, tetex-extra, time
+Build-Depends: mlton (>= 20041109-1), htmldoc, libgmp3-dev (>= 4.0.1), tetex-bin, tetex-extra
 Standards-Version: 3.6.2
 
 Package: mlton