Update sources.list

Co-authored-by: demarey <christophe.demarey@inria.fr>
Bajger · Feb 1, 2024 · 7e47b2f · 7e47b2f
1 parent b1ccb0f
commit 7e47b2f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sources.list b/sources.list
@@ -147,7 +147,7 @@ OrderedCollection [
 		#type : #HttpListing,
 		#name : 'Pharo 12.0 (development version)',
 		#url : 'https://files.pharo.org/image/120/',
-		#filterPattern : 'href="(Pharo-?12[.]?[0-9]*-SNAPSHOT.build.[^"]*.zip)"'
+		#filterPattern : 'href="(Pharo-?12(.[0-9]+)?-SNAPSHOT.build.[^"]*.zip)"'
 	},
 	PhLTemplateSource {
 		#type : #HttpListing,