Privacy and Cookie Policy
The repository uses cookies to function. Browsing this repository with cookies enabled in your browser implies your acceptance of at least the essential cookies, as required by current regulations.
Under European regulations, we must inform you about the necessary cookies and, for preference and analytics cookies, we must obtain your consent for you to accept or reject them.
Basic cookie information
What are cookies?
Cookies are files that are downloaded to your device when accessing certain websites. They allow the website to store and retrieve information about a user's or device's browsing habits. Depending on the information they contain and how they are used, they can be used to recognize the user.
What do cookies work?
Cookies are part of most websites. When you access a website that uses cookies, the website causes your browser to create small files with necessary information for the website's operation on your device (computer, tablet, phone, etc.).
Cookies do not personally identify you and do not pose any risk to your computer or mobile device. They are not viruses or spyware. They are simply tools used by websites you visit to enhance your browsing experience.
The law allows us to store cookies on your device if they are strictly necessary for the website to function. For all other types of cookies, we need your consent.
Types of cookies used in the repository
Necessary
Necessary cookies help make websites more accessible and allow basic functions such as navigation or access to secure areas of the website. The website cannot function without these cookies.
Analytical
Analytical cookies help website owners understand how visitors interact with their websites by collecting and reporting information anonymously.
How to configure/disable cookies
Browsing history and cookies are stored on your device. Cookies, similar to browsing history or browser cache, are a trace of your activity on the Internet. This may be important if others can access your device. If you are using a shared device, it is recommended that you clear your browsing history, cache, and cookies when you finish. If you don't know how to do this, consult your browser's help section.
You can disable cookies, but some websites may not function properly. If you are concerned about your privacy, you can disable all cookies through the cookie configuration banner that appears at the top of the website. Doing so may cause some parts of the website to not function correctly.
- Firefox: https://support.mozilla.org/en-US/kb/clear-cookies-and-site-data-firefox
- Chrome: https://support.google.com/chrome/answer/95647?hl=en
- Internet Explorer: http://windows.microsoft.com/es-es/windows7/how-to-manage-cookies-in-internet-explorer-9
- Edge: https://support.microsoft.com/en-us/topic/delete-and-manage-cookies-168dab11-0753-043d-7c16-ede5947fc64d
- Safari: https://support.apple.com/et-ee/guide/safari/sfri11471/mac
- Safari for iOS: https://support.apple.com/en-us/HT201265
- Opera: https://www.opera.com/help/tutorials/security/privacy/
Identifying cookies used
Below is a list of the cookies used and their function.
Necessary
| Cookie | Description | Expiration Time |
|---|---|---|
| JSESSIONID | Used by JSP sites. Cookies used to maintain the user's state across page requests. | Session |
| cc_cookie | Used to register cookie settings | 6 months |
Analytical
| Cookie | Description | Expiration Time |
|---|---|---|
| _ga | Used to differentiate users. | 1 year |
| _ga_M82PK1PC0F | Variant of _ga for detailed analytics. | 1 year |
With regard to Google Analytics, the Google website has a page where you can see a description of the type of cookies used by Google Analytics and their expiration date: https://developers.google.com/analytics/devguides/collection/analyticsjs/cookie-usage
Third-party cookies
Some of our pages may display content from external providers. For example, from Youtube, Twitter, LinkedIN, SlideShare or Facebook.
If you accept third-party cookies, and later want to delete them permanently, you will need to do so from your browser options.
These third party services are beyond the control of our organization. Suppliers may, at any time, change their conditions of service, purpose and use of cookies, etc.
