Navigation:
Browse pkgsrc
(this page)| 2023-11-03 10:59:07 by Thomas Klausner | Files touched by this commit (1) |
Log message: py-manticore: not for Python 3.12 |
2023-05-11 11:53:06 by Adam Ciarcinski | Files touched by this commit (4) |  |
Log message: py-manticore: updated to 0.3.7 0.3.7 Ethereum Use crytic-compile 0.2.2 Multi-transaction analysis now uses fixed attacker and owner contracts Native [Added API] Retrieve list of unimplemented syscalls Add FXSAVE/FXRSTOR concrete support on x86 Add last_executed_pc property to CPU Support LD_LIBRARY_PATH Optional will/did_read_memory events Fixed base address handling on Linux Add ENDBR-style NOPs Support epoll-related syscalls Other [Added API] Add fork policy for providing explicit values Fixed Constant Folding Add simplifications for subtraction Parent state ID, last PC now available in state descriptors States now contain a reference to the current manticore instance fast_fail config to exit after first state exception Scaling bugfix for large solver queries Don't fork when only one solution is found for Concretize |
| 2022-11-14 15:34:49 by Thomas Klausner | Files touched by this commit (15) |
Log message: py-pysha3: mark as not for python 3.11 This was only ever intended for python < 3.6, but we do have some users in pkgsrc on newer python versions. |
| 2022-01-05 16:41:32 by Thomas Klausner | Files touched by this commit (289) |
Log message: python: egg.mk: add USE_PKG_RESOURCES flag This flag should be set for packages that import pkg_resources and thus need setuptools after the build step. Set this flag for packages that need it and bump PKGREVISION. |
| 2022-01-04 21:55:40 by Thomas Klausner | Files touched by this commit (1595) |
Log message: *: bump PKGREVISION for egg.mk users They now have a tool dependency on py-setuptools instead of a DEPENDS |
| 2021-12-30 14:05:42 by Adam Ciarcinski | Files touched by this commit (125) |
Log message: Forget about Python 3.6 |
| 2021-10-26 12:20:11 by Nia Alarie | Files touched by this commit (3016) |
Log message: archivers: Replace RMD160 checksums with BLAKE2s checksums All checksums have been double-checked against existing RMD160 and SHA512 hashes Could not be committed due to merge conflict: devel/py-traitlets/distinfo The following distfiles were unfetchable (note: some may be only fetched conditionally): ./devel/pvs/distinfo pvs-3.2-solaris.tgz ./devel/eclipse/distinfo eclipse-sourceBuild-srcIncluded-3.0.1.zip |
| 2021-10-07 15:44:44 by Nia Alarie | Files touched by this commit (3017) |
Log message: devel: Remove SHA1 hashes for distfiles |
| 2020-12-30 13:04:08 by Nia Alarie | Files touched by this commit (1) |
Log message: py-manticore: Remove unnecessary restriction to Python 3.7 Reflect Python version support noted in setup.py. |
| 2020-11-25 12:13:19 by Nia Alarie | Files touched by this commit (3) |
Log message: Add PYTHON_VERSIONS_INCOMPATIBLE to packages that fail with 3.6. |
New packages: