Commits · main · Arch Linux / Packaging / Packages / tamarin-prover · GitLab

See More

Due to an influx of spam, we have had to temporarily disable account registrations. Please write an email to [email protected], with your desired username, if you want to get access. Sorry for the inconvenience.

May 19, 2025
- upgpkg: 1.10.0-72: rebuild with th-lift 0.8.5 · c28cae39
  Felix Yan authored May 19, 2025
  
  View commits for tag 1.10.0-72 1.10.0-72
  
  c28cae39
May 18, 2025
- upgpkg: 1.10.0-71: rebuild with yesod-form 1.7.9 · a55cd658
  Felix Yan authored May 19, 2025
  
  View commits for tag 1.10.0-71 1.10.0-71
  
  a55cd658
- upgpkg: 1.10.0-70: rebuild with http-client 0.7.18 · 0cc276f5
  Felix Yan authored May 19, 2025
  
  View commits for tag 1.10.0-70 1.10.0-70
  
  0cc276f5
- upgpkg: 1.10.0-69: rebuild with integer-logarithms 1.0.4 · b74723e1
  Felix Yan authored May 18, 2025
  
  View commits for tag 1.10.0-69 1.10.0-69
  
  b74723e1
May 17, 2025
- upgpkg: 1.10.0-68: rebuild with wai-extra 3.1.17, yesod-core 1.6.27.0 · f2a51dc3
  Felix Yan authored May 17, 2025
  
  View commits for tag 1.10.0-68 1.10.0-68
  
  f2a51dc3
May 14, 2025
- upgpkg: 1.10.0-67: rebuild with system-fileio 0.3.16.7 · db272102
  Felix Yan authored May 14, 2025
  
  View commits for tag 1.10.0-67 1.10.0-67
  
  db272102
May 12, 2025
- upgpkg: 1.10.0-66: rebuild with assoc 1.1.1 · 7efd2549
  Felix Yan authored May 13, 2025
  
  View commits for tag 1.10.0-66 1.10.0-66
  
  7efd2549
May 07, 2025
- upgpkg: 1.10.0-65: rebuild with doctest 0.21.1 · fda97e49
  Felix Yan authored May 07, 2025
  
  View commits for tag 1.10.0-65 1.10.0-65
  
  fda97e49
Apr 17, 2025
- upgpkg: 1.10.0-64: rebuild with base-compat 0.12.3, base-compat-batteries 0.12.3 · 067a5c4d
  Felix Yan authored Apr 17, 2025
  
  View commits for tag 1.10.0-64 1.10.0-64
  
  067a5c4d
Apr 14, 2025
- upgpkg: 1.10.0-63: rebuild with linear-generics 0.2.2, th-abstraction 0.5.0.0, th-desugar 1.15 · bf9489f7
  Felix Yan authored Apr 15, 2025
  
  View commits for tag 1.10.0-63 1.10.0-63
  
  bf9489f7
- upgpkg: 1.10.0-62: rebuild with test-framework 0.8.2.2 · 3051a853
  Felix Yan authored Apr 14, 2025
  
  View commits for tag 1.10.0-62 1.10.0-62
  
  3051a853
Apr 12, 2025
- upgpkg: 1.10.0-61: rebuild with base-orphans 0.9.0 · fecaf445
  Felix Yan authored Apr 12, 2025
  
  View commits for tag 1.10.0-61 1.10.0-61
  
  fecaf445
- upgpkg: 1.10.0-60: rebuild with ansi-terminal 1.0.2 · c65dff0d
  Felix Yan authored Apr 12, 2025
  
  View commits for tag 1.10.0-60 1.10.0-60
  
  c65dff0d
Apr 11, 2025
- upgpkg: 1.10.0-59: rebuild with silently 1.2.5.4 · 17976d8c
  Felix Yan authored Apr 12, 2025
  
  View commits for tag 1.10.0-59 1.10.0-59
  
  17976d8c
- upgpkg: 1.10.0-58: rebuild with th-compat 0.1.6 · ecd2bfb8
  Felix Yan authored Apr 11, 2025
  
  View commits for tag 1.10.0-58 1.10.0-58
  
  ecd2bfb8
- upgpkg: 1.10.0-57: rebuild with unix-time 0.4.16 · 60469fbd
  Felix Yan authored Apr 11, 2025
  
  View commits for tag 1.10.0-57 1.10.0-57
  
  60469fbd
Apr 09, 2025
- upgpkg: 1.10.0-56: rebuild with OneTuple (remove unneeded dependencies on new GHC) · 50c8fc86
  Felix Yan authored Apr 09, 2025
  
  View commits for tag 1.10.0-56 1.10.0-56
  
  50c8fc86
Apr 08, 2025
- upgpkg: 1.10.0-55: rebuild with semigroupoids 6.0.1 · 20328a5a
  Felix Yan authored Apr 09, 2025
  
  View commits for tag 1.10.0-55 1.10.0-55
  
  20328a5a
Apr 07, 2025
- upgpkg: 1.10.0-54: rebuild with streaming-commons 0.2.3.0 · e055b5bd
  Felix Yan authored Apr 08, 2025
  
  View commits for tag 1.10.0-54 1.10.0-54
  
  e055b5bd
- upgpkg: 1.10.0-53: rebuild with http2 4.1.1 · 2618b6c1
  Felix Yan authored Apr 07, 2025
  
  View commits for tag 1.10.0-53 1.10.0-53
  
  2618b6c1
Apr 06, 2025
- upgpkg: 1.10.0-52: rebuild with comonad 5.0.9 · 8a505de6
  Felix Yan authored Apr 07, 2025
  
  View commits for tag 1.10.0-52 1.10.0-52
  
  8a505de6
- upgpkg: 1.10.0-51: rebuild with data-fix 0.3.3 · b283f37b
  Felix Yan authored Apr 07, 2025
  
  View commits for tag 1.10.0-51 1.10.0-51
  
  b283f37b
- upgpkg: 1.10.0-50: rebuild with typed-process 0.2.12.0 · 72ea2973
  Felix Yan authored Apr 06, 2025
  
  View commits for tag 1.10.0-50 1.10.0-50
  
  72ea2973
- upgpkg: 1.10.0-49: rebuild with wai-extra 3.1.16 · 48aca2ca
  Felix Yan authored Apr 06, 2025
  
  View commits for tag 1.10.0-49 1.10.0-49
  
  48aca2ca
Apr 05, 2025
- upgpkg: 1.10.0-48: rebuild with primitive 0.8.0.0 · e710d582
  Felix Yan authored Apr 06, 2025
  
  View commits for tag 1.10.0-48 1.10.0-48
  
  e710d582
- upgpkg: 1.10.0-47: rebuild with iproute 1.7.15 · 5c0b1485
  Felix Yan authored Apr 05, 2025
  
  View commits for tag 1.10.0-47 1.10.0-47
  
  5c0b1485
- upgpkg: 1.10.0-46: rebuild with hedgehog 1.3 · 52860103
  Felix Yan authored Apr 05, 2025
  
  View commits for tag 1.10.0-46 1.10.0-46
  
  52860103
Apr 04, 2025
- upgpkg: 1.10.0-45: rebuild with pcre-light 0.4.1.3 · 2b1d0a2b
  Felix Yan authored Apr 05, 2025
  
  View commits for tag 1.10.0-45 1.10.0-45
  
  2b1d0a2b
- upgpkg: 1.10.0-44: rebuild with regex-compat 0.95.2.2 · 1273f6ad
  Felix Yan authored Apr 04, 2025
  
  View commits for tag 1.10.0-44 1.10.0-44
  
  1273f6ad
- upgpkg: 1.10.0-43: rebuild with OneTuple 0.4.2 · 0c7d308a
  Felix Yan authored Apr 04, 2025
  
  View commits for tag 1.10.0-43 1.10.0-43
  
  0c7d308a
- upgpkg: 1.10.0-42: rebuild with doctest 0.21.0 · 8720ebb6
  Felix Yan authored Apr 04, 2025
  
  View commits for tag 1.10.0-42 1.10.0-42
  
  8720ebb6
Apr 03, 2025
- upgpkg: 1.10.0-41: rebuild with cabal-fmt 0.1.6, cabal-install 3.8.1.0,... · 99e1e1cb
  Felix Yan authored Apr 04, 2025
  View commits for tag 1.10.0-41 1.10.0-41
  
  99e1e1cb
- upgpkg: 1.10.0-40: rebuild with test-framework 0.8.2.1 · 8ad14853
  Felix Yan authored Apr 03, 2025
  
  View commits for tag 1.10.0-40 1.10.0-40
  
  8ad14853
Apr 02, 2025
- upgpkg: 1.10.0-39: rebuild with regex-posix 0.96.0.2 · 10d92440
  Felix Yan authored Apr 03, 2025
  
  View commits for tag 1.10.0-39 1.10.0-39
  
  10d92440
Mar 31, 2025
- upgpkg: 1.10.0-38: rebuild with uuid 1.3.16, uuid-types 1.0.6 · cb10a4f1
  Felix Yan authored Apr 01, 2025
  
  View commits for tag 1.10.0-38 1.10.0-38
  
  cb10a4f1
- upgpkg: 1.10.0-37: rebuild with cabal-doctest 1.0.10 · 16060b42
  Felix Yan authored Mar 31, 2025
  
  View commits for tag 1.10.0-37 1.10.0-37
  
  16060b42
- upgpkg: 1.10.0-36: rebuild with psqueues 0.2.8.1 · 173d1c4b
  Felix Yan authored Mar 31, 2025
  
  View commits for tag 1.10.0-36 1.10.0-36
  
  173d1c4b
Mar 30, 2025
- upgpkg: 1.10.0-35: rebuild with unix-compat 0.7.3 · ea7599a1
  Felix Yan authored Mar 31, 2025
  
  View commits for tag 1.10.0-35 1.10.0-35
  
  ea7599a1
- upgpkg: 1.10.0-34: rebuild with microlens-th 0.4.3.17 · c086d07f
  Felix Yan authored Mar 31, 2025
  
  View commits for tag 1.10.0-34 1.10.0-34
  
  c086d07f
Mar 29, 2025
- upgpkg: 1.10.0-33: rebuild with lifted-async 0.10.2.7 · b2ea786e
  Felix Yan authored Mar 30, 2025
  
  View commits for tag 1.10.0-33 1.10.0-33
  
  b2ea786e