100644 blob 052dbfda8a1f8b09e23d4514b77052acd7d24fd7	agda-1.0.2-r2
100644 blob f77c83176a2bd360821fe1c950c48f0bad09a6b2	axiom-200711
100644 blob e88c75c884661f369b535764fac9079bfbf47362	axiom-200803
100644 blob d9e7403c7e8c150925096b9093ef1c7928370116	axiom-200805
100644 blob 9ab5599b175ecb3bb4755fba07650a17e33dc154	calc-2.12.1.5
100644 blob a2f531a0684102b82f401566b83eca35d4b5d250	calc-2.12.2.2
100644 blob a2a793a2f4c146d39b02167954d6edd6e4d4d671	calc-2.12.4.0
100644 blob 06533d592f11543e61f8a52d25502f3687f6ba9e	cgal-3.5.1
100644 blob 7a390208dc7311270bbe754752eea527e4b60104	coq-8.1_p4
100644 blob 64697868a53c8c16b35a0cfaf09232354a79a3ac	coq-8.2_p1-r1
100644 blob bb143feffaafb6b175fe38122e2f9fde1b4ac01c	dataplot-20080225
100644 blob af70f89bd6c051973a79e5914d93fda8a22ab3eb	drgeo-1.1.0
100644 blob fa37dde641ce1f70f340f6b32a54d25eda6f1552	euler-1.61.0
100644 blob 77752d51d9ac455bf6a80ab71ad77c043de714ae	fann-2.0.0
100644 blob 16065e1a2313395b2f732fd461c7c04223bfbef8	fann-2.1.0_beta
100644 blob 3b8e1bea5ea8c3a8a1f28462190106f8337bc2b7	freemat-3.6
100644 blob a87d0854cca758ee75032a66683482921691274b	freemat-4.0
100644 blob 858997c12db01072ee8cef1be2280071f2b1b4f0	fricas-1.0.8
100644 blob 8199dcf4ea7f57746a25ea48ed754a1be11dee55	fricas-1.0.9
100644 blob 59ccbfc839375c3851ff74a143933985d5164bbb	genius-1.0.9
100644 blob a6fec32c5b8821458949ca6497043fa1bbb43dfc	geomview-1.9.2
100644 blob 2e9024a9089f85c384000cac22049d0026c33905	geomview-1.9.4
100644 blob 057669481ffbd699155c34a6625b5071de9a358c	gimps-24.14
100644 blob 54e12f8c1e6fb5278723c5645dc1b74572566590	gimps-24.14-r1
100644 blob f14646d512b4921c8b0a5956cb44985d1ea9b047	gimps-25.6
100644 blob 5726dee2e26b0841daf069625f698e16302b5eb5	gimps-25.7
100644 blob b667416cfc33c135a928ea5e1614fd65d325e6c4	gimps-25.8
100644 blob cf926b2c8e756d590063ad7dd7c648281760ea24	gimps-25.9
100644 blob b4610602661408644668ac123f1da7650f134717	ginac-1.5.5
100644 blob f6004219784d77fc160586c24a98b1ea935f9972	ginac-1.5.6
100644 blob b4c7f854dbf67173371e03c3c37e137e0bbed9c3	glpk-4.35
100644 blob fbbc219398906091d426b45f3a62e1202042547c	glpk-4.41
100644 blob 8c8262e62eecd4c7119d055d4a18dfc0c9ed7f35	glpk-4.42
100644 blob 911c670d6495c7b32663d630cfbc98115ab5d48a	gmm-3.1
100644 blob ffc7bac770dba95d95b2754bd7e82397388efa7b	gmm-4.0.0
100644 blob e882a5fee57cf8591f7126a3a457f89b93b3d0bb	gretl-1.8.5
100644 blob 66cb7ae08cf1787be7387f3091d74493fb7ed84d	gretl-1.8.6
100644 blob 6b284a35c74893f3fe77e5347b01cbc67c739c7c	kseg-0.403
100644 blob 480847de95f3b553abe0cb4418e65936b0d0b211	lybniz-1.3.2
100644 blob 2b95783aaea02e24598efcf6adec8501bc0c650a	mathomatic-12.8.8
100644 blob 01789ae134c4dd587688eeadd4b4814136f08e08	mathomatic-12.9.1
100644 blob dd01af4627839fdbe5ee6d421fef9957ea1aa037	mathomatic-15.0.4
100644 blob f690e5d52d0098f299a71731f08d5f71b7007381	maxima-5.18.1
100644 blob 076bf39b45991280ca0f4132a16e117d33695982	maxima-5.19.2
100644 blob ed86ac74277b96ff5381cfbb820196a84f71a8fb	maxima-5.20.1-r1
100644 blob 6ebae036638bb39b8cd8e37ec6c7d3f14e0b0640	num-utils-0.3
100644 blob 2d5f36bf4e269ab7ae4b8308e9cbd1b074a64649	num-utils-0.5
100644 blob 8ba2f0f1b156fa991fe23b8ed11b37543f26b616	nusmv-2.3.1
100644 blob afa63f238cc11377841649cf5ccde1b5f3a695d3	octave-2.1.57-r1
100644 blob 1a5a764ad830cf8f00c73ccddd5a43dcb180bbc0	octave-2.1.69
100644 blob 38b31d2d4c6db243d9dac637686bfb927508a50e	octave-2.1.72
100644 blob 2e9f6cd3f6ba84cc2cae0ed353fd5bdee0a7fdad	octave-2.1.73
100644 blob aa32cfcf7b1bef717f94d78b4629a65a7d1b7b0a	octave-2.1.73-r1
100644 blob 74b6a4ef00e62ddb1004ef82a52c260e9a14b5a3	octave-2.1.73-r2
100644 blob d62ba5c1da9aa7168acb23a28e9c3d385dad947b	octave-3.0.3
100644 blob 75a6eebf9aecd5a686652e93a5655b4c914dceac	octave-3.2.3-r1
100644 blob 8e8ef1d072e3de74a52242c3afccb6d5b222ea8f	octave-3.2.4
100644 blob 7cd01ee6f7c33467eceb3b25578ab6b458979b1f	octave-3.2.4-r1
100644 blob 5d93c5dc8b6319f958f445e3a9c3ba69b23e3543	octave-forge-2006.01.28
100644 blob 1a63c94146ff4f74fe8678d17865ee8dd50f6d0e	octave-forge-2006.03.17
100644 blob 0aa93c541a97131fd3eab75ef57783918be98b98	octave-forge-2006.03.17-r1
100644 blob 968c2516760f6a386ef27388dc2c33f0091c5b15	otter-3.3-r1
100644 blob 82df01c1c0982bbe3c440b841799b9f069e1a732	otter-3.3-r2
100644 blob a6d868d57bdb363dcb597a00436d57f58a6890bc	pari-2.1.6
100644 blob 21b55828cf44da4e7a721653a5f2e68496aec94f	pari-2.1.7-r1
100644 blob b7d40a211535729205e0538acf747faa511ef2a3	pari-2.3.2
100644 blob 415fcd1add36beb11cd36a85924f58621f42c0d4	pari-2.3.2-r1
100644 blob 1fb753259ae35017682fab79309a3b9844408482	pari-2.3.4
100644 blob 7ed9caf4bbaf9376b2f1e2ca20acb7c33d0877f4	pari-2.3.4-r1
100644 blob a10b5ebd4d6bc5fb5d4721e20178e5033e7de954	pspp-0.6.1
100644 blob dea060b49d32f55545912058c0f9aaf76719b7cf	pspp-0.6.2
100644 blob 9386587a106e88728f699ba0d5e08b522c62e68f	qtoctave-0.8.1
100644 blob 39d39d70d97e68abcb3435e87567f964ea219512	qtoctave-0.8.2
100644 blob 9fedf76ed0a332fb834bd8db0ad6fe9b765f8b13	relational-0.10
100644 blob 897d6ee056621aa8f72876c48feaf1a2423d8f56	rkward-0.5.1
100644 blob e69a84998070894cf08cf0fc68c2b129b7d6ff40	rkward-0.5.2
100644 blob 800a27f43a072bdbaa25da85201a5b3710079cee	scilab-4.0
100644 blob 2e20de37d007e2225f5dc2af0b4e7463b7956782	scilab-4.1.2-r1
100644 blob e29a472eb226ebf60040c03d75194cf55588d8e9	scilab-4.1.2-r2
100644 blob 059356b854683009ae66321aa188cf086624b3b5	singular-3.0.1.2
100644 blob ba2e9728af19551fd3d9f4ece6588180e0d2fd18	singular-3.0.4.4
100644 blob 4ddc2662fa20a7856f3a25f8773b43d57bc027fb	singular-3.1.0.7
100644 blob 70015f7e4b313b4dab88e217f8e19c3b5eed944a	snns-4.2-r8
100644 blob eae9ced1163d220fecd0013780c5ddd7a82bf604	wxmaxima-0.7.4
100644 blob 21fd8928c8f0e297d58fbc5183b3528a46deff29	wxmaxima-0.8.2
100644 blob 7926e0cf4cf5e80c21f196ba19b46608a95e4e07	wxmaxima-0.8.3a
100644 blob c5783e3e18edd935a396625b371fb994c68afecd	wxmaxima-0.8.4
100644 blob 0f288af9b9d860fb8dd16738973a9d26379194f7	xmds-1.6.5
100644 blob fd4c945c24d0ac85683a512fc33d44882f30c73e	xmds-1.6.6
100644 blob d56176241be3e4049d554880d332e894ac61d21a	yacas-1.2.2