aboutsummaryrefslogtreecommitdiff
path: root/dev/build/windows/patches_coq
AgeCommit message (Expand)Author
2021-01-04[win] remove old scripts, we now use the platform onesEnrico Tassi
2020-09-23Fix issue #13065 - Windows CI brokenMichael Soegtrop
2019-10-07chmod -x some filesJason Gross
2019-07-19Removed patches for Flocq, Interval and Gappa (merged upstream)Michael Soegtrop
2019-07-17Fixed Windows patch for QuickchickMichael Soegtrop
2019-07-17Adjust VST patch to latest changes in VSTMichael Soegtrop
2019-07-16Removed patch for Gappa tool (verified that changes in gappa master fixed the...Michael Soegtrop
2019-07-16Fix #9351 in master (Add Flocq, CoqInterval, Gappa tool and Gappa)Michael Soegtrop
2019-06-11Resolve #9885 CoqIDE does not work on WindowsMichael Soegtrop
2019-05-21Fixing typos - Part 1JPR
2019-03-19Fixed incompatibility between new cygwin pkg-config and duneMichael Soegtrop
2019-03-19[coqide] [ci] Update GTK toolchain to lablgtk3Emilio Jesus Gallego Arias
2019-01-23Merge PR #9043: [windows] Cleanup cruft from `dev/build/windows`Michael Soegtrop
2018-12-25[windows] Cleanup cruft from `dev/build/windows`Emilio Jesus Gallego Arias
2018-12-12Fix issue #9175 Windows: VST addon does not work if CompCert is also installedMichael Soegtrop
2018-10-03Fix issue #8321 "Add more useful addons to the Windows Installer"Michael Soegtrop
2018-06-02[appveyor] Use OCaml version 4.06.1 in the Windows build.Emilio Jesus Gallego Arias
2018-05-03Fixes issue #7081 / Windows build: strip in lablgtk build can fail randomlyMichael Soegtrop
2018-03-02installer: win: put addons in a separate packageEnrico Tassi
2018-01-04Normalize Windows installer names.Théo Zimmermann
2017-12-01uninstall doc dir, not dev (which is not installed), #6007Paul Steckler
2017-10-25Put newlines at the end of files.Gaëtan Gilbert
2017-06-26Fixes bug #5561,#5562 in Windows build systemMichael Soegtrop
2016-11-10Add Michael Soegtrop's new script to build windows installer.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-14 06:48:53 +0000