Commits · main · Arch Linux / Packaging / Packages / python-pysmt · 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.

Nov 17, 2024
- upgpkg: 0.9.5-5: Rebuild for Python 3.13 · 1fe502b8
  Jelle van der Waa authored 3 months ago
  
  View commits for tag 0.9.5-5 0.9.5-5
  
  1fe502b8
Jul 15, 2024
- add nvchecker · 5937901f
  T.J. Townsend authored 7 months ago
  
  5937901f
Apr 04, 2024
- upgpkg: 0.9.5-4: Rebuild with Python 3.12 · 32976f19
  Jelle van der Waa authored 11 months ago
  
  View commits for tag 0.9.5-4 0.9.5-4
  
  32976f19
Mar 01, 2024
- upgpkg: 0.9.5-3 · 8ac11ee6
  David Runge authored 1 year ago
  
  Rebuild to apply patch for Python 3.12 compat and switching to correct SPDX license identifier.
  View commits for tag 0.9.5-3 0.9.5-3
  
  8ac11ee6
- Switch to correct SPDX license identifier for project · 13afc6b6
  David Runge authored 1 year ago
  
  Signed-off-by: David Runge <dvzrv@archlinux.org>
  13afc6b6
- Add backport of upstream patch for removing use of imp module · 36662bee
  David Runge authored 1 year ago
  
  The imp module is removed with Python 3.12. Signed-off-by: David Runge <dvzrv@archlinux.org>
  36662bee
Apr 07, 2023
- rebuild with python 3.11 · 3b42668c
  Felix Yan authored 1 year ago
  
  View commits for tag 0.9.5-2 0.9.5-2
  
  3b42668c
Aug 20, 2022
- addpkg: 0.9.5-1 · 25a2ce9e
  Levente Polyak authored 2 years ago
  
  View commits for tag 0.9.5-1 0.9.5-1
  
  25a2ce9e