Index: head/math/casadi/pkg-descr
===================================================================
--- head/math/casadi/pkg-descr	(revision 509770)
+++ head/math/casadi/pkg-descr	(revision 509771)
@@ -1,7 +1,8 @@
-Rumur is a model checker, a formal verification tool for proving safety and
-security properties of systems represented as state machines. It is based on a
-previous tool, CMurphi, and intended to be close to a drop-in replacement. Rumur
-takes the same input format as CMurphi, the Murphi modelling language, with some
-extensions and generates a C program that implements a verifier.
+CasADi is an open-source tool for nonlinear optimization and algorithmic
+differentiation.
 
-WWW: https://github.com/Smattr/rumur
+It facilitates rapid, yet efficient, implementation of different methods for
+numerical optimal control, both in an offline context and for nonlinear model
+predictive control (NMPC).
+
+WWW: https://web.casadi.org/