Add forward declarations. --- fasthenry-3.0/src/fasthenry/sparse/spUtils.c.orig 2015-07-22 12:12:52.579370846 +0200 +++ fasthenry-3.0/src/fasthenry/sparse/spUtils.c 2015-07-22 12:14:09.636275633 +0200 @@ -107,6 +107,7 @@ #include "spDefs.h" +static RealNumber ComplexCondition( MatrixPtr, RealNumber, int* ); ead>
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
AgeCommit message (Expand)Author
2024-06-26gnu: proof-general: Update to 4.5@cb23709a....Arnaud Daby-Seesaram
2024-06-23gnu: coq-autosubst: Fix Coq 8.19 compatibility....Jean-Pierre De Jesus DIAZ
2024-06-16gnu: coq-stdpp: Update to 1.10.0....Jean-Pierre De Jesus DIAZ
2024-06-16gnu: coq-mathcomp: Update to 1.19.0....Jean-Pierre De Jesus DIAZ
2024-06-16gnu: coq-interval: Update to 4.10.0....Jean-Pierre De Jesus DIAZ
2024-06-16gnu: coq-gappa: Update to 1.5.5....Jean-Pierre De Jesus DIAZ
2024-06-16gnu: coq-coquelicot: Update to 3.4.1....Jean-Pierre De Jesus DIAZ
2024-05-15gnu: coq-flocq: Update to 4.1.4....Jean-Pierre De Jesus DIAZ
2024-02-08gnu: coq: Update to 8.17.1....pukkamustard
2024-02-08gnu: Update coq-interval to 4.8.0....pukkamustard
2024-02-08gnu: Update coq-stdpp to 1.8.0....pukkamustard
2024-02-08gnu: Update coq-autosubst to 1.8....pukkamustard
2024-02-08gnu: Update coq-mathcomp to 1.17.0....pukkamustard
2024-02-08gnu: Update coq-coquelicot to 3.4.0....pukkamustard
2024-02-08gnu: Update coq-gappa to 1.5.3....pukkamustard
2024-02-08gnu: Update coq-flocq to 4.1.1....pukkamustard
2023-11-23gnu: Add coq-for-coqtail....Jean-Pierre De Jesus DIAZ