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

Apr 03, 2025
- upgpkg: 1.10.0-40: rebuild with test-framework 0.8.2.1 · 8ad14853
  Felix Yan authored 8 hours ago
  
  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 14 hours ago
  
  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 2 days ago
  
  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 2 days ago
  
  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 3 days ago
  
  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 3 days ago
  
  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 3 days ago
  
  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 4 days ago
  
  View commits for tag 1.10.0-33 1.10.0-33
  
  b2ea786e
Mar 21, 2025
- upgpkg: 1.10.0-32: rebuild with regex-pcre 0.95.0.1 · 099c2c56
  Felix Yan authored 1 week ago
  
  View commits for tag 1.10.0-32 1.10.0-32
  
  099c2c56
- upgpkg: 1.10.0-31: rebuild with system-filepath 0.4.14.1 · 85c7e5dd
  Felix Yan authored 1 week ago
  
  View commits for tag 1.10.0-31 1.10.0-31
  
  85c7e5dd
Mar 16, 2025
- upgpkg: 1.10.0-30: rebuild with lifted-async 0.10.2.6 · 8205c910
  Felix Yan authored 2 weeks ago
  
  View commits for tag 1.10.0-30 1.10.0-30
  
  8205c910
Mar 15, 2025
- upgpkg: 1.10.0-29: rebuild with binary-orphans 1.0.5 · d6633b54
  Felix Yan authored 2 weeks ago
  
  View commits for tag 1.10.0-29 1.10.0-29
  
  d6633b54
Mar 14, 2025
- upgpkg: 1.10.0-28: rebuild with semigroupoids 6.0.0.1 · c97d9743
  Felix Yan authored 2 weeks ago
  
  View commits for tag 1.10.0-28 1.10.0-28
  
  c97d9743
- upgpkg: 1.10.0-27: rebuild with unliftio 0.2.25.1 · 0ee14e58
  Felix Yan authored 2 weeks ago
  
  View commits for tag 1.10.0-27 1.10.0-27
  
  0ee14e58
Mar 12, 2025
- upgpkg: 1.10.0-26: rebuild with assoc 1.1, cabal-plan 0.7.3.0, semialign 1.3, strict 0.5, these 1.2 · 8a11338b
  Felix Yan authored 3 weeks ago
  
  View commits for tag 1.10.0-26 1.10.0-26
  
  8a11338b
Mar 10, 2025
- upgpkg: 1.10.0-25: rebuild with graphviz 2999.20.2.1 · 520f4f7e
  Felix Yan authored 3 weeks ago
  
  View commits for tag 1.10.0-25 1.10.0-25
  
  520f4f7e
- upgpkg: 1.10.0-24: rebuild with test-framework-quickcheck2 0.3.0.6 · 9c681c43
  Felix Yan authored 3 weeks ago
  
  View commits for tag 1.10.0-24 1.10.0-24
  
  9c681c43
- upgpkg: 1.10.0-23: rebuild with regex-base 0.94.0.3 · c53435ff
  Felix Yan authored 3 weeks ago
  
  View commits for tag 1.10.0-23 1.10.0-23
  
  c53435ff
Mar 09, 2025
- upgpkg: 1.10.0-22: rebuild with unix-time 0.4.15 · f57b79b1
  Felix Yan authored 3 weeks ago
  
  View commits for tag 1.10.0-22 1.10.0-22
  
  f57b79b1
- upgpkg: 1.10.0-21: rebuild with haskell-src 1.0.4.1 · ea383896
  Felix Yan authored 3 weeks ago
  
  View commits for tag 1.10.0-21 1.10.0-21
  
  ea383896
Mar 05, 2025
- upgpkg: 1.10.0-20: rebuild with os-string 2.0.7 · d6920341
  Felix Yan authored 4 weeks ago
  
  View commits for tag 1.10.0-20 1.10.0-20
  
  d6920341
- upgpkg: 1.10.0-19: rebuild with conduit 1.3.6.1 · 2d8d0812
  Felix Yan authored 4 weeks ago
  
  View commits for tag 1.10.0-19 1.10.0-19
  
  2d8d0812
- upgpkg: 1.10.0-18: rebuild with microlens-th 0.4.3.16 · 8efd9c52
  Felix Yan authored 4 weeks ago
  
  View commits for tag 1.10.0-18 1.10.0-18
  
  8efd9c52
Feb 25, 2025
- upgpkg: 1.10.0-17: rebuild with system-fileio 0.3.16.6 · 41010890
  Felix Yan authored 1 month ago
  
  View commits for tag 1.10.0-17 1.10.0-17
  
  41010890
Feb 18, 2025
- upgpkg: 1.10.0-16: rebuild with ansi-terminal 1.0, chell 0.5.0.2 · cc420650
  Felix Yan authored 1 month ago
  
  View commits for tag 1.10.0-16 1.10.0-16
  
  cc420650
Feb 08, 2025
- upgpkg: 1.10.0-15: rebuild with ansi-terminal 1.0, chell 0.5.0.2 · 61d4b1e5
  Felix Yan authored 1 month ago
  
  View commits for tag 1.10.0-15 1.10.0-15
  
  61d4b1e5
Jan 20, 2025
- upgpkg: 1.10.0-14: rebuild with tagged 0.8.9 · a5499bfd
  Felix Yan authored 2 months ago
  
  View commits for tag 1.10.0-14 1.10.0-14
  
  a5499bfd
- upgpkg: 1.10.0-13: rebuild with monad-logger 0.3.41 · f4f8e6bc
  Felix Yan authored 2 months ago
  
  View commits for tag 1.10.0-13 1.10.0-13
  
  f4f8e6bc
Jan 19, 2025
- upgpkg: 1.10.0-12: rebuild with mono-traversable 1.0.21.0 · 15e2527e
  Felix Yan authored 2 months ago
  
  View commits for tag 1.10.0-12 1.10.0-12
  
  15e2527e
Jan 18, 2025
- upgpkg: 1.10.0-11: rebuild with data-default-instances-dlist 0.0.1.2 · 21208eab
  Felix Yan authored 2 months ago
  
  View commits for tag 1.10.0-11 1.10.0-11
  
  21208eab
- upgpkg: 1.10.0-10: rebuild with entropy 0.4.1.11 · 58fc0795
  Felix Yan authored 2 months ago
  
  View commits for tag 1.10.0-10 1.10.0-10
  
  58fc0795
Jan 17, 2025
- upgpkg: 1.10.0-9: rebuild with data-default-instances-containers 0.1.0.2 · 9b7e6d7d
  Felix Yan authored 2 months ago
  
  View commits for tag 1.10.0-9 1.10.0-9
  
  9b7e6d7d
Jan 03, 2025
- upgpkg: 1.10.0-8: rebuild with inspection-testing 0.6 · 5a17cc88
  Felix Yan authored 2 months ago
  
  View commits for tag 1.10.0-8 1.10.0-8
  
  5a17cc88
Dec 31, 2024
- upgpkg: 1.10.0-7: rebuild with vector-algorithms 0.9.0.3 · 870dabf0
  Felix Yan authored 3 months ago
  
  View commits for tag 1.10.0-7 1.10.0-7
  
  870dabf0
Dec 29, 2024
- upgpkg: 1.10.0-6: rebuild with system-fileio 0.3.16.5 · 0752670f
  Felix Yan authored 3 months ago
  
  View commits for tag 1.10.0-6 1.10.0-6
  
  0752670f
Dec 21, 2024
- upgpkg: 1.10.0-5: rebuild with iproute 1.7.14 · 72d5dd8f
  Felix Yan authored 3 months ago
  
  View commits for tag 1.10.0-5 1.10.0-5
  
  72d5dd8f
- upgpkg: 1.10.0-4: rebuild with xml-conduit 1.9.1.4 · b09d0fcb
  Felix Yan authored 3 months ago
  
  View commits for tag 1.10.0-4 1.10.0-4
  
  b09d0fcb
Nov 21, 2024
- upgpkg: 1.10.0-3: rebuild with os-string 2.0.7 · bfadff1d
  Felix Yan authored 4 months ago
  
  View commits for tag 1.10.0-3 1.10.0-3
  
  bfadff1d
Nov 20, 2024
- upgpkg: 1.10.0-2: rebuild with os-string 2.0.7 · a777b661
  Felix Yan authored 4 months ago
  
  View commits for tag 1.10.0-2 1.10.0-2
  
  a777b661
Oct 31, 2024

upgpkg: 1.10.0-1: rebuild with tamarin-prover 1.10.0,... · cd621fe6

Felix Yan authored 5 months ago

upgpkg: 1.10.0-1: rebuild with tamarin-prover 1.10.0, tamarin-prover-accountability 1.10.0, tamarin-prover-export 1.10.0, tamarin-prover-sapic 1.10.0, tamarin-prover-term 1.10.0, tamarin-prover-theory 1.10.0, tamarin-prover-utils 1.10.0

cd621fe6

Admin message