admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
62421eeaa2fd8156844d6f72cb99442c127744bc
revng-revng/python
T
History
Giacomo Vercesi 62421eeaa2 fetch debuginfo: switch default servers 
Switch the default servers used by `fetch debuginfo` to revng-managed
ones, as especially the elfutils.org once has been spotty in the past.
2025-08-08 17:52:57 +02:00
..
revng
fetch debuginfo: switch default servers
2025-08-08 17:52:57 +02:00
scripts
python: create python wheels
2023-12-12 14:52:22 +01:00
CMakeLists.txt
Model: bump version to 5 and introduce migration
2025-07-23 11:38:52 +02:00
pyproject_revng_internal.toml
python: autogenerate module version for wheels
2025-07-15 10:46:19 +02:00
pyproject_revng.toml
artifacts: allow parsing the recompilable archive
2025-07-18 09:30:56 +02:00
README_revng_internal.md
python: integrate README.md into python package
2025-07-15 10:46:19 +02:00
README_revng.md
python: integrate README.md into python package
2025-07-15 10:46:19 +02:00
wheel-install.sh
python: create python wheels
2023-12-12 14:52:22 +01:00