Log of /cauldron/alt-ergo/current/SPECS/alt-ergo.spec

---

Revision 1951055 - (view) (download) (annotate) - [select for diffs]
Modified Fri Mar 31 12:45:37 2023 UTC (2 years ago) by daviddavid
File length: 6710 byte(s)
Diff to previous 1949747

SILENT: sync ./SOURCES

---

Revision 1949747 - (view) (download) (annotate) - [select for diffs]
Modified Sun Mar 19 21:21:25 2023 UTC (2 years, 1 month ago) by pterjan
File length: 6723 byte(s)
Diff to previous 1931573

- Update to 2.3.3 and partially sync with Fedora
- Disable GUI as it needs gtksourceview2 we no longer have

---

Revision 1931573 - (view) (download) (annotate) - [select for diffs]
Modified Sun Jan 8 17:52:57 2023 UTC (2 years, 3 months ago) by daviddavid
File length: 1919 byte(s)
Diff to previous 1916247

- rebuild for ocaml-zarith change

---

Revision 1916247 - (view) (download) (annotate) - [select for diffs]
Modified Sat Dec 3 22:52:57 2022 UTC (2 years, 4 months ago) by danf
File length: 1918 byte(s)
Diff to previous 1859000

SILENT: Switch project URLs to https:

---

Revision 1859000 - (view) (download) (annotate) - [select for diffs]
Modified Thu May 19 11:45:04 2022 UTC (2 years, 11 months ago) by pterjan
File length: 1917 byte(s)
Diff to previous 1845914

Rebuild for OCaml 4.14

---

Revision 1845914 - (view) (download) (annotate) - [select for diffs]
Modified Wed Apr 6 02:36:57 2022 UTC (3 years ago) by umeabot
File length: 1917 byte(s)
Diff to previous 1751384

Mageia 9 Mass Rebuild

---

Revision 1751384 - (view) (download) (annotate) - [select for diffs]
Modified Thu Oct 14 13:12:27 2021 UTC (3 years, 6 months ago) by tv
File length: 1917 byte(s)
Diff to previous 1710561

Rebuild for ocaml 4.13.1

---

Revision 1710561 - (view) (download) (annotate) - [select for diffs]
Modified Fri Mar 26 12:51:00 2021 UTC (4 years ago) by tv
File length: 1917 byte(s)
Diff to previous 1707991

- Do not Require private ocaml interfaces that we don't Provide
  (thus fixing installation)

---

Revision 1707991 - (view) (download) (annotate) - [select for diffs]
Modified Mon Mar 22 21:03:21 2021 UTC (4 years ago) by tv
File length: 1623 byte(s)
Diff to previous 1698623

Rebuild dor ocaml 4.12

---

Revision 1698623 - (view) (download) (annotate) - [select for diffs]
Modified Thu Mar 4 21:34:16 2021 UTC (4 years, 1 month ago) by tv
File length: 1536 byte(s)
Diff to previous 1615508

rebuild for ocaml-4.2-12

---

Revision 1615508 - (view) (download) (annotate) - [select for diffs]
Modified Tue Aug 18 23:03:08 2020 UTC (4 years, 8 months ago) by martinw
File length: 1559 byte(s)
Diff to previous 1551478

- use free (ASL 2.0 licensed) version
- drop GUI package (needs obsolete gtksourceview2)

---

Revision 1551478 - (view) (download) (annotate) - [select for diffs]
Modified Fri Feb 28 11:14:33 2020 UTC (5 years, 1 month ago) by umeabot
File length: 2073 byte(s)
Diff to previous 1544291

Rebuild for ocaml 4.10.0 final

---

Revision 1544291 - (view) (download) (annotate) - [select for diffs]
Modified Wed Feb 19 12:43:58 2020 UTC (5 years, 1 month ago) by umeabot
File length: 2073 byte(s)
Diff to previous 1482733

Mageia 8 Mass Rebuild

---

Revision 1482733 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jan 24 16:59:47 2020 UTC (5 years, 2 months ago) by tv
File length: 2073 byte(s)
Diff to previous 1478278

rebuild for ocaml-4.10

---

Revision 1478278 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jan 16 19:34:33 2020 UTC (5 years, 3 months ago) by wally
File length: 2073 byte(s)
Diff to previous 1358193

- replace deprecated %%configure2_5x

---

Revision 1358193 - (view) (download) (annotate) - [select for diffs]
Modified Sun Jan 20 07:27:35 2019 UTC (6 years, 2 months ago) by daviddavid
File length: 2077 byte(s)
Diff to previous 1325199

- rebuild for new ocaml-psmt2-frontend 0.2

---

Revision 1325199 - (view) (download) (annotate) - [select for diffs]
Modified Thu Oct 25 03:25:25 2018 UTC (6 years, 5 months ago) by daviddavid
File length: 2077 byte(s)
Diff to previous 1325198

SILENT: s/menhir/ocaml-menhir/

---

Revision 1325198 - (view) (download) (annotate) - [select for diffs]
Modified Thu Oct 25 03:24:27 2018 UTC (6 years, 5 months ago) by daviddavid
File length: 2071 byte(s)
Diff to previous 1294308

- rebuild for new ocaml 4.07.1

---

Revision 1294308 - (view) (download) (annotate) - [select for diffs]
Modified Fri Sep 21 11:39:18 2018 UTC (6 years, 6 months ago) by umeabot
File length: 2071 byte(s)
Diff to previous 1227647

Mageia 7 Mass Rebuild

---

Revision 1227647 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 8 08:02:55 2018 UTC (6 years, 11 months ago) by kekepower
File length: 2071 byte(s)
Diff to previous 1227646

SILENT: One line is better than two

---

Revision 1227646 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 8 07:57:26 2018 UTC (6 years, 11 months ago) by kekepower
File length: 2113 byte(s)
Diff to previous 1227645

SILENT: Refine global exclude

---

Revision 1227645 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 8 07:55:47 2018 UTC (6 years, 11 months ago) by kekepower
File length: 2105 byte(s)
Diff to previous 1227641

- Fix the global exclude

---

Revision 1227641 - (view) (download) (annotate) - [select for diffs]
Modified Tue May 8 07:49:50 2018 UTC (6 years, 11 months ago) by kekepower
File length: 2097 byte(s)
Diff to previous 1223246

- Exclude bogus requires

---

Revision 1223246 - (view) (download) (annotate) - [select for diffs]
Modified Sat Apr 28 22:27:51 2018 UTC (6 years, 11 months ago) by kekepower
File length: 1996 byte(s)
Diff to previous 1223138

- BR ocaml-psmt2-frontend

---

Revision 1223138 - (view) (download) (annotate) - [select for diffs]
Modified Sat Apr 28 16:45:35 2018 UTC (6 years, 11 months ago) by kekepower
File length: 1959 byte(s)
Diff to previous 1212412

- Update to version 2.2.0

---

Revision 1212412 - (view) (download) (annotate) - [select for diffs]
Modified Sun Mar 25 19:03:06 2018 UTC (7 years ago) by daviddavid
File length: 1959 byte(s)
Diff to previous 1211584

- rebuild for new ocaml-zarith 1.7

---

Revision 1211584 - (view) (download) (annotate) - [select for diffs]
Modified Fri Mar 23 17:30:25 2018 UTC (7 years ago) by kekepower
File length: 1959 byte(s)
Diff to previous 1211568

- Rebuild on arm

---

Revision 1211568 - (view) (download) (annotate) - [select for diffs]
Modified Fri Mar 23 15:57:10 2018 UTC (7 years ago) by kekepower
File length: 1959 byte(s)
Diff to previous 1211562

SILENT: Fix file list

---

Revision 1211562 - (view) (download) (annotate) - [select for diffs]
Modified Fri Mar 23 15:33:29 2018 UTC (7 years ago) by kekepower
File length: 1938 byte(s)
Diff to previous 1211555

- Add LGPL license
- Fix file list

---

Revision 1211555 - (view) (download) (annotate) - [select for diffs]
Modified Fri Mar 23 14:39:39 2018 UTC (7 years ago) by kekepower
File length: 1926 byte(s)
Diff to previous 1211554

- Add BR for menhir

---

Revision 1211554 - (view) (download) (annotate) - [select for diffs]
Modified Fri Mar 23 14:37:01 2018 UTC (7 years ago) by kekepower
File length: 1903 byte(s)
Diff to previous 1199171

- Update to version 2.1.0

---

Revision 1199171 - (view) (download) (annotate) - [select for diffs]
Modified Tue Feb 6 06:15:43 2018 UTC (7 years, 2 months ago) by daviddavid
File length: 1904 byte(s)
Diff to previous 1143946

- add BR ocaml-num-devel

---

Revision 1143946 - (view) (download) (annotate) - [select for diffs]
Modified Wed Aug 23 20:52:53 2017 UTC (7 years, 7 months ago) by ovitters
File length: 1872 byte(s)
Diff to previous 1082661

SILENT convert -devel buildrequires into pkgconfig

---

Revision 1082661 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jan 21 12:44:50 2017 UTC (8 years, 2 months ago) by daviddavid
File length: 1864 byte(s)
Diff to previous 1082652

SILENT: fix BR => ocaml-findlib-devel

---

Revision 1082652 - (view) (download) (annotate) - [select for diffs]
Modified Sat Jan 21 11:40:22 2017 UTC (8 years, 2 months ago) by daviddavid
File length: 1828 byte(s)
Diff to previous 1056198

- new version: 1.30
- add BRs ocaml-camlzip-devel and ocaml-camlzip-devel

---

Revision 1056198 - (view) (download) (annotate) - [select for diffs]
Modified Sun Sep 25 21:31:45 2016 UTC (8 years, 6 months ago) by pterjan
File length: 1746 byte(s)
Diff to previous 995605

Rebuild for fix in ocaml

---

Revision 995605 - (view) (download) (annotate) - [select for diffs]
Modified Sat Mar 26 11:52:43 2016 UTC (9 years ago) by daviddavid
File length: 1746 byte(s)
Diff to previous 927350

- new version: 1.01

---

Revision 927350 - (view) (download) (annotate) - [select for diffs]
Modified Mon Jan 25 07:01:25 2016 UTC (9 years, 2 months ago) by daviddavid
File length: 1748 byte(s)
Diff to previous 743440

- new version: 0.99.1
- use %%configure2_5x and %%make_install macros (SILENT)
- clean spec file a bit (SILENT)

---

Revision 743440 - (view) (download) (annotate) - [select for diffs]
Modified Wed Oct 15 00:23:02 2014 UTC (10 years, 6 months ago) by umeabot
File length: 1970 byte(s)
Diff to previous 677745

Second Mageia 5 Mass Rebuild

---

Revision 677745 - (view) (download) (annotate) - [select for diffs]
Modified Tue Sep 16 15:09:25 2014 UTC (10 years, 7 months ago) by umeabot
File length: 1970 byte(s)
Diff to previous 644261

Mageia 5 Mass Rebuild

---

Revision 644261 - (view) (download) (annotate) - [select for diffs]
Modified Sun Jul 6 11:37:04 2014 UTC (10 years, 9 months ago) by ovitters
File length: 1970 byte(s)
Diff to previous 543622

- SILENT remove cleaning buildroot in install
- SILENT remove variable definitions name, version, release

---

Revision 543622 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 22 02:30:32 2013 UTC (11 years, 5 months ago) by umeabot
File length: 2069 byte(s)
Diff to previous 498662

Mageia 4 Mass Rebuild

---

Revision 498662 - (view) (download) (annotate) - [select for diffs]
Modified Mon Oct 14 22:58:32 2013 UTC (11 years, 6 months ago) by malo
File length: 2069 byte(s)
Diff to previous 498121

SILENT: add BR to ocaml-zarith-devel

---

Revision 498121 - (view) (download) (annotate) - [select for diffs]
Modified Mon Oct 14 22:22:37 2013 UTC (11 years, 6 months ago) by malo
File length: 2034 byte(s)
Diff to previous 433869

new version 0.95.2

---

Revision 433869 - (view) (download) (annotate) - [select for diffs]
Modified Fri May 31 17:27:27 2013 UTC (11 years, 10 months ago) by malo
File length: 1950 byte(s)
Diff to previous 389214

new version 0.95.1

---

Revision 389214 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jan 17 21:30:27 2013 UTC (12 years, 3 months ago) by pterjan
File length: 2224 byte(s)
Diff to previous 389213

oops

---

Revision 389213 - (view) (download) (annotate) - [select for diffs]
Modified Thu Jan 17 21:29:26 2013 UTC (12 years, 3 months ago) by pterjan
Original Path: obsolete/cauldron/alt-ergo/current/SPECS/alt-ergo.spec
File length: 2224 byte(s)
Diff to previous 345522

Drop 

---

Revision 345522 - (view) (download) (annotate) - [select for diffs]
Modified Fri Jan 11 09:20:59 2013 UTC (12 years, 3 months ago) by umeabot
File length: 2224 byte(s)
Diff to previous 326565

Mass Rebuild - https://wiki.mageia.org/en/Feature:Mageia3MassRebuild

---

Revision 326565 - (view) (download) (annotate) - [select for diffs]
Modified Tue Dec 4 19:33:54 2012 UTC (12 years, 4 months ago) by malo
File length: 2224 byte(s)
Diff to previous 326543

SILENT: bump mkrel

---

Revision 326543 - (view) (download) (annotate) - [select for diffs]
Modified Tue Dec 4 19:08:47 2012 UTC (12 years, 4 months ago) by malo
File length: 2224 byte(s)
Diff to previous 180489

change BR to ocaml-compiler

---

Revision 180489 - (view) (download) (annotate) - [select for diffs]
Modified Sat Dec 10 23:34:01 2011 UTC (13 years, 4 months ago) by malo
File length: 2215 byte(s)
Diff to previous 163891

- new version 0.94
- missing Requires gtksourceview2
- fixing install of source.lang and ocaml lib

---

Revision 163891 - (view) (download) (annotate) - [select for diffs]
Added Sat Nov 5 21:02:48 2011 UTC (13 years, 5 months ago) by malo
File length: 2143 byte(s)

imported package alt-ergo