Log of /cauldron/coq-flocq/current/SPECS/coq-flocq.spec

---

Revision 1945587 - (view) (download) (annotate) - [select for diffs]
Modified Mon Feb 27 05:37:15 2023 UTC (2 years ago) by daviddavid
File length: 1472 byte(s)
Diff to previous 1903928

- fix build by pointing to the local coqdoc files

---

Revision 1903928 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 6 06:54:06 2022 UTC (2 years, 4 months ago) by danf
File length: 1413 byte(s)
Diff to previous 1903922

Use the default subdirectory for object files

---

Revision 1903922 - (view) (download) (annotate) - [select for diffs]
Modified Sun Nov 6 05:24:43 2022 UTC (2 years, 4 months ago) by danf
File length: 1511 byte(s)
Diff to previous 1552907

Update to flocq ver. 4.1.0

---

Revision 1552907 - (view) (download) (annotate) - [select for diffs]
Modified Mon Mar 2 08:33:58 2020 UTC (5 years ago) by daviddavid
File length: 1631 byte(s)
Diff to previous 1552902

SILENT: fix files list

---

Revision 1552902 - (view) (download) (annotate) - [select for diffs]
Modified Mon Mar 2 08:24:24 2020 UTC (5 years ago) by daviddavid
File length: 1723 byte(s)
Diff to previous 1516220

- new version: 3.2.0

---

Revision 1516220 - (view) (download) (annotate) - [select for diffs]
Modified Fri Feb 14 01:01:24 2020 UTC (5 years, 1 month ago) by umeabot
File length: 1632 byte(s)
Diff to previous 1312635

Mageia 8 Mass Rebuild

---

Revision 1312635 - (view) (download) (annotate) - [select for diffs]
Modified Sun Sep 30 18:38:03 2018 UTC (6 years, 5 months ago) by daviddavid
File length: 1632 byte(s)
Diff to previous 1296799

- rebuild against coq

---

Revision 1296799 - (view) (download) (annotate) - [select for diffs]
Modified Sat Sep 22 23:47:41 2018 UTC (6 years, 5 months ago) by umeabot
File length: 1632 byte(s)
Diff to previous 1181268

Mageia 7 Mass Rebuild

---

Revision 1181268 - (view) (download) (annotate) - [select for diffs]
Modified Mon Dec 4 19:57:19 2017 UTC (7 years, 3 months ago) by tv
File length: 1632 byte(s)
Diff to previous 1053655

new release

---

Revision 1053655 - (view) (download) (annotate) - [select for diffs]
Modified Sun Sep 18 12:24:40 2016 UTC (8 years, 6 months ago) by daviddavid
File length: 1630 byte(s)
Diff to previous 932970

- rebuild for new coq 8.5pl2
- fix some ownership flocq dir

---

Revision 932970 - (view) (download) (annotate) - [select for diffs]
Modified Tue Feb 2 22:25:10 2016 UTC (9 years, 1 month ago) by pterjan
File length: 1653 byte(s)
Diff to previous 930869

Update to 2.5.1

---

Revision 930869 - (view) (download) (annotate) - [select for diffs]
Modified Mon Feb 1 22:57:26 2016 UTC (9 years, 1 month ago) by umeabot
File length: 1726 byte(s)
Diff to previous 740576

Mageia 6 Mass Rebuild

---

Revision 740576 - (view) (download) (annotate) - [select for diffs]
Modified Tue Oct 14 22:59:36 2014 UTC (10 years, 5 months ago) by umeabot
File length: 1726 byte(s)
Diff to previous 678544

Second Mageia 5 Mass Rebuild

---

Revision 678544 - (view) (download) (annotate) - [select for diffs]
Modified Tue Sep 16 15:31:06 2014 UTC (10 years, 6 months ago) by umeabot
File length: 1726 byte(s)
Diff to previous 644206

Mageia 5 Mass Rebuild

---

Revision 644206 - (view) (download) (annotate) - [select for diffs]
Modified Sun Jul 6 10:05:23 2014 UTC (10 years, 8 months ago) by pterjan
File length: 1726 byte(s)
Diff to previous 554097

2.3.0

---

Revision 554097 - (view) (download) (annotate) - [select for diffs]
Modified Fri Nov 29 18:09:14 2013 UTC (11 years, 3 months ago) by malo
File length: 1668 byte(s)
Diff to previous 554096

fix RPM group

---

Revision 554096 - (view) (download) (annotate) - [select for diffs]
Modified Fri Nov 29 18:04:00 2013 UTC (11 years, 3 months ago) by malo
File length: 1667 byte(s)
Diff to previous 554093

spec clean-up after import from Fedora

---

Revision 554093 - (view) (download) (annotate) - [select for diffs]
Added Fri Nov 29 17:53:47 2013 UTC (11 years, 3 months ago) by malo
File length: 1702 byte(s)

imported package coq-flocq