libs.json 4.08 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
{
	"Clean 2.4":
	[
		{
			"name": "ArgEnv",
			"fetch_url": ["CleanDistribution", "ArgEnv"]
		},
		{
			"name": "Directory",
			"fetch_url": ["CleanDistribution", "Directory"]
		},
		{
			"name": "Dynamics",
			"fetch_url": ["CleanDistribution", "Dynamics"]
		},
		{
			"name": "Gast",
			"fetch_url": ["CleanDistribution", "Gast"],
			"info_url": "https://gitlab.science.ru.nl/clean-and-itasks/gast"
		},
		{
			"name": "MersenneTwister",
			"fetch_url": ["SVN", "https://svn.cs.ru.nl/repos/clean-libraries"],
			"path": "trunk/Libraries/MersenneTwister"
		},
		{
			"name": "StdEnv",
			"fetch_url": ["Git", "https://github.com/clean-cloogle/StdEnv-doc"],
29
			"info_url": "https://github.com/clean-cloogle/StdEnv-doc",
30 31 32 33 34 35 36 37
			"pattern_exclude": [["PStartsWith","_startup"],["PStartsWith","_system"]]
		},
		{
			"name": "StdLib",
			"fetch_url": ["CleanDistribution", "StdLib"]
		},
		{
			"name": "TCPIP",
38 39
			"fetch_url": ["CleanDistribution", "TCPIP"],
			"info_url": "https://clean.cs.ru.nl/TCP"
40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55
		}
	],
	"Official":
	[
		{
			"name": "GraphCopy",
			"fetch_url": ["CleanDistribution", "GraphCopy"]
		},
		{
			"name": "iTasks",
			"fetch_url": ["CleanDistribution", "iTasks"],
			"info_url": "https://gitlab.science.ru.nl/clean-and-itasks/iTasks-SDK"
		},
		{
			"name": "ObjectIO",
			"fetch_url": ["SVN", "https://svn.cs.ru.nl/repos/clean-libraries"],
56
			"info_url": "https://clean.cs.ru.nl/Object_I/O",
57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135
			"path": "trunk/Libraries/ObjectIO/ObjectIO"
		},
		{
			"name": "Platform",
			"fetch_url": ["CleanDistribution", "Platform"],
			"info_url": "https://gitlab.science.ru.nl/clean-and-itasks/clean-platform",
			"pattern_exclude": [["PStartsWith","Deprecated"]]
		},
		{
			"name": "Sapl",
			"fetch_url": ["CleanDistribution", "Sapl"],
			"info_url": "https://gitlab.science.ru.nl/clean-and-itasks/clean-sapl"
		}
	],
	"Miscellaneous":
	[
		{
			"name": "CleanInotify",
			"fetch_url": ["Git", "https://github.com/camilstaps/CleanInotify"],
			"info_url": "https://github.com/camilstaps/CleanInotify"
		},
		{
			"name": "CleanPrettyPrint",
			"fetch_url": ["Git", "https://github.com/clean-cloogle/CleanPrettyPrint"],
			"info_url": "https://github.com/clean-cloogle/CleanPrettyPrint"
		},
		{
			"name": "CleanSerial",
			"fetch_url": ["Git", "https://gitlab.science.ru.nl/mlubbers/CleanSerial"],
			"info_url": "https://gitlab.science.ru.nl/mlubbers/CleanSerial"
		},
		{
			"name": "CleanSnappy",
			"fetch_url": ["Git", "https://github.com/camilstaps/CleanSnappy"],
			"info_url": "https://github.com/camilstaps/CleanSnappy"
		},
		{
			"name": "CleanTypeUnifier",
			"fetch_url": ["Git", "https://github.com/clean-cloogle/CleanTypeUnifier"],
			"info_url": "https://github.com/clean-cloogle/CleanTypeUnifier"
		},
		{
			"name": "clean-compiler",
			"fetch_url": ["SVN", "https://svn.cs.ru.nl/repos/clean-compiler"],
			"path": "trunk",
			"info_url": "https://svn.cs.ru.nl/repos/clean-compiler/",
			"pattern_app": [["PWildcard"]]
		},
		{
			"name": "clean-ide",
			"fetch_url": ["SVN", "https://svn.cs.ru.nl/repos/clean-ide"],
			"path": "trunk",
			"info_url": "https://svn.cs.ru.nl/repos/clean-ide/",
			"pattern_app": [["PWildcard"]]
		},
		{
			"name": "clean-irc",
			"fetch_url": ["Git", "https://github.com/clean-cloogle/clean-irc"],
			"info_url": "https://github.com/clean-cloogle/clean-irc"
		},
		{
			"name": "clean-selectloop",
			"fetch_url": ["Git", "https://github.com/dopefishh/clean-selectloop"],
			"info_url": "https://github.com/dopefishh/clean-selectloop",
			"path": "libraries"
		},
		{
			"name": "Cloogle",
			"fetch_url": ["Git", "https://github.com/clean-cloogle/Cloogle"],
			"info_url": "https://github.com/clean-cloogle/Cloogle"
		},
		{
			"name": "libcloogle",
			"fetch_url": ["Git", "https://github.com/clean-cloogle/libcloogle"],
			"info_url": "https://github.com/clean-cloogle/libcloogle"
		},
		{
			"name": "SoccerFun",
			"fetch_url": ["SVN", "https://svn.cs.ru.nl/repos/SoccerFun"],
136
			"info_url": "http://www.cs.ru.nl/P.Achten/SoccerFun/SoccerFun.html",
137 138 139 140 141 142
			"path": "src",
			"pattern_app": [["PWildcard"]],
			"pattern_exclude": [["PStartsWith","StdTeam/Team_"],["PStartsWith","StdReferee/RefereeCoach_"]]
		}
	]
}