Overview Repositories Revisions Requests Users Attributes Meta

Revisions of pharos

Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 54) 
Update to the 20210201 release
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 53) 
Rework the spec, keep C++14 standard as required for pharos
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 52) 
Use gcc10 for opensuse leap 15.2
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 51) 
Require the C++14 standard which isn't default on older compilers in older distros
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 50) 
Add libbz2 devel dependency
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 49) 
Update to pharos 20201020
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 48) 
Add new ooprolog tool
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 47) 
Update to pharos 20200922
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 46) 
Remove old files associated with the old xsb implementation
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 45) 
Update to 20200814
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 44) 
Add needed swipl binary to buildrequires
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 43) 
Add source for 20200710
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 42) 
Update to 20200710 which now uses swipl instead of xsb
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 41) 
Update spec for file changes
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 40) 
Update spec for file changes
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 39) 
Update spec for file changes
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 38) 
Update spec for file changes
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 37) 
Update to 20200612 public release
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 36) 
Typo in version number
Garret Wassermann's avatar Garret Wassermann (geewass) committed (revision 35) 
Update to April 3, 2020 release
Displaying revisions 21 - 40 of 74
openSUSE Build Service is sponsored by
Places