This website requires JavaScript.
Explore
Help
Sign In
Mirrors
/
freebsd-ports
mirror of
https://git.freebsd.org/ports.git
Watch
1
Star
0
Fork
You've already forked freebsd-ports
0
Code
Issues
Projects
Releases
Wiki
Activity
main
freebsd-ports
/
math
/
abella
History
Benjamin Jacobs
c596e12671
math/abella: update 2.0.7 → 2.0.8
...
PR: 278471
2024-05-27 12:42:52 -07:00
..
files
math/abella: update 2.0.7 → 2.0.8
2024-05-27 12:42:52 -07:00
Makefile
math/abella: update 2.0.7 → 2.0.8
2024-05-27 12:42:52 -07:00
distinfo
math/abella: update 2.0.7 → 2.0.8
2024-05-27 12:42:52 -07:00
pkg-descr
…