/[packages]
ViewVC logotype

Revision 1949747

Jump to revision: Previous Next
Author: pterjan
Date: Sun Mar 19 21:21:25 2023 UTC (12 months, 4 weeks ago)
Changed paths: 8
Log Message: 
- Update to 2.3.3 and partially sync with Fedora
- Disable GUI as it needs gtksourceview2 we no longer have

Changed paths

Path Details
Directorycauldron/alt-ergo/current/SOURCES/alt-ergo-dune3.patch added
Directorycauldron/alt-ergo/current/SOURCES/alt-ergo-forward-compat.patch added
Directorycauldron/alt-ergo/current/SOURCES/alt-ergo-menhir.patch added
Directorycauldron/alt-ergo/current/SOURCES/alt-ergo-pervasives.patch modified , text changed
Directorycauldron/alt-ergo/current/SOURCES/alt-ergo-psmt2-frontend.patch added
Directorycauldron/alt-ergo/current/SOURCES/alt-ergo.metainfo.xml added
Directorycauldron/alt-ergo/current/SOURCES/sha1.lst modified , text changed
Directorycauldron/alt-ergo/current/SPECS/alt-ergo.spec modified , text changed
  ViewVC Help
Powered by ViewVC 1.1.30