Commits · main · Arch Linux / Packaging / Packages / yices · GitLab

Snippets Groups Projects

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

You need to sign in or sign up before continuing.

Jul 14, 2024
- upgpkg: 2.6.4-2: Rebuild packages that are missing .SRCINFO part 6 · 3cc738f5
  T.J. Townsend authored 8 months ago
  
  View commits for tag 2.6.4-2 2.6.4-2 Verified
  
  3cc738f5
Jan 01, 2022
- upgpkg: 2.6.4-1 · dcda006e
  Felix Yan authored 3 years ago
  
  View commits for tag 2.6.4-1 2.6.4-1
  
  dcda006e
Dec 30, 2021
- upgpkg: 2.6.3-1 · bbf05bed
  Felix Yan authored 3 years ago
  
  View commits for tag 2.6.3-1 2.6.3-1
  
  bbf05bed
Dec 17, 2020
- enable support for Non-Linear Arithmetic and MC-SAT (FS#68010) · bfdde777
  Felix Yan authored 4 years ago
  
  View commits for tag 2.6.2-2 2.6.2-2
  
  bfdde777
Jul 30, 2020
- addpkg: 2.6.2-1 (for haskell-what4) · be0b8d3c
  Felix Yan authored 4 years ago
  
  View commits for tag 2.6.2-1 2.6.2-1
  
  be0b8d3c