more flexibility in the exported data for Teyjus

[helm.git] / helm / software / helena / profile.txt

diff --git a/helm/software/helena/profile.txt b/helm/software/helena/profile.txt
index 65c909fe6f1336817f7edcef4a1ccee7d59bc5e6..a0ff3f28cf581f6c2cb4b95f8102554c960ae16f 100644 (file)
--- a/helm/software/helena/profile.txt
+++ b/helm/software/helena/profile.txt
@@ -10,11 +10,11 @@ coqtop.opt : 27.73 to 28.07 ages
 
 coqtop.opt : 28.64 to 28.83 reversed ages
 
-elpi       : 00.19 to 00.20 exex, 253 lines
-elpi       : 00.26 to 00.28 user, 253 lines
+elpi       : 00.20 to 00.22 exex, 255 lines
+elpi       : 00.27 to 00.31 user, 255 lines
 
-teyjus     : 02.03 to 02.18 exec, 253 lines
-teyjus     : 01.63 to 01.68 link, 253 lines
+teyjus     : 02.13 to 02.26 exec, 255 lines
+teyjus     : 03.24 to 03.31 link, 255 lines
 
 elpi       : 21.15 to 21.45 exec, full
 elpi       : 27.52 to 27.82 user, full