Miran e7f280bd26 Remove deprecated stuff from stdlib (#14699) ... * update to the latest Jester * remove deprecated procs from some stdlib modules * 'criterion' is not maintained anymore and relies on obsolete stuff		2020-06-17 15:25:02 +02:00
..
jester-#head	Remove deprecated stuff from stdlib (#14699)	2020-06-17 15:25:02 +02:00
opengl-1.1.0	remove deprecated procs (#12535)	2019-11-05 11:05:46 +01:00
x11-1.0	[backport] Fix spelling typos (#12755)	2019-11-28 08:30:55 +01:00
zip-0.2.1	lots of small changes	2018-12-11 21:23:22 +01:00